罗杰·马杜克斯 关系代数的序列演算。 （英语） Zbl 0528.03016号 Ann.纯粹应用。逻辑 25, 73-101 (1983). 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于28文件 MSC公司： 03C30号 其他模型构造 03C65号 其他数学理论模型 05年3月 切割消除和正规形定理 03G15年 柱代数和多代数；关系代数 关键词：标准模型;矢列演算;关系代数;矩阵代数;可证明性 PDF格式BibTeX公司 XML格式引用 \textit｛R.Maddux｝，Ann.纯应用。逻辑25，73--101（1983；Zbl 0528.03016） 全文： 内政部 参考文献： [1] 钦，L.H。；Tarski，A.，关系代数算术中的分配和模律，加利福尼亚大学出版社。数学。，1、9、341-384（1951），（新系列）·Zbl 0045.31701号 [2] Henkin，L.，《内部语义和代数逻辑》（Leblanc，H.，《真理、语法和模态，逻辑研究》，第68卷（1973年），北荷兰语：北荷兰阿姆斯特丹），111-127·Zbl 0266.02034号 [3] 亨金，L。；Monk，J.D。；Tarski，A.，《柱代数》（1971），《北荷兰：北荷兰阿姆斯特丹》，第一部分·兹比尔0214.01302 [4] Hennessy，M.C.B.，一阶关系演算的证明系统，J.Compute。系统科学。，20, 96-110 (1980) ·Zbl 0431.68084号 [5] Jónsson，B。；Tarski，A.，带算子的布尔代数，Amer。数学杂志。，74、127-162（1952），第二部分·Zbl 0045.31601号 [6] Maddux，R.，《一些不可表示关系代数》，通知Amer。数学。Soc.，23，A-557（1976） [7] Maddux，R.，关系代数和柱代数的整洁嵌入，Notices Amer。数学。Soc.，24，A-298（1977年） [8] Maddux，R.，关系代数专题，（博士论文（1978），加利福尼亚大学：加利福尼亚大学伯克利分校）·Zbl 0721.03046号 [9] Maddux，R.，包含关系代数的一些变种，Trans。阿默尔。数学。《社会学杂志》，272，501-526（1982）·Zbl 0515.03039号 [10] McKenzie，R.N.W.，关系代数的表示（博士论文（1966），科罗拉多大学：科罗拉多博尔德大学） [11] Monk，J.D.，《圆柱代数研究》（博士论文（1961年），加利福尼亚大学：加利福尼亚大学伯克利分校） [12] Monk，J.D.，《关于可表示关系代数》，密歇根数学。J.，第11期，207-210页（1964年）·Zbl 0137.00603号 [13] Monk，J.D.，《数学逻辑》（数学研究生教材，第37卷（1976年），Springer-Verlag:Springer-Verlag纽约）·Zbl 0354.0202号 [14] Schönfeld，W.，关系方程序列演算中证明搜索的上界，Z.数学。Logik Grundlagen数学。，28, 239-246 (1982) ·Zbl 0506.03001号 [15] 塔斯基，A.，《关系演算》，J.符号逻辑，673-89（1941） [16] Wadge，W.，关系微积分的完整自然演绎系统，（《计算理论报告第5号》（1975年），华威大学） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。