×
伯格哈德·埃尔曼

等价逻辑和代数化逻辑。 （英语） Zbl 0864.03043号

螺柱日志。 57，第2-3号，419-436（1996）.
作者研究了所谓等价逻辑和有限等价逻辑的代数化过程。他的方法基于矩阵语义。在本文中，逻辑不必是有限的（即只有有限的规则）。关于可代数化，作者区分了有限可代数化逻辑（即那些承认一组有限等价公式的逻辑；有限有限可代数逻辑正是在意义上可代数化的逻辑W.J.布洛克和D.皮戈齐[代数逻辑，《美国数学学会会员》396（1989；Zbl 0664.03042号)])也可能是无限代数化的，或p.i.代数化的。本文的主要结果表明，逻辑是有限可代数化的（p.i.-可代数化），只要它是有限等价的（相应地，等价的），并且简化矩阵模型中的真谓词是等价定义的。本文包含了等价逻辑和代数化逻辑的必要背景。给出了一个可代数但不可有限代数的无限逻辑的自然例子，并提醒了非有限有限代数逻辑的已知例子。
审核人：朱尼斯·切鲁利斯（里加）

引用于1审查
引用于24文件

MSC公司：

03G99型 代数逻辑

关键词：

隐含逻辑;原代数逻辑;等价逻辑;矩阵语义;代数化逻辑

引文：

Zbl 0664.03042号
PDF格式BibTeX公司 XML格式引用
\textit{B.Herrmann}，研究日志。57，编号2-3419-436（1996年；Zbl 0864.03043）
全文： 内政部

参考文献：

[1] Anderson，A.R.，N.D.Belnap，1975年，《Entailment》，普林斯顿大学出版社。
[2] Blok，W.J.，D.Pigozzi，1986年？原代数逻辑？，Studia Logica逻辑研究45，337-369·Zbl 0622.03020号 ·doi:10.1007/BF00370269
[3] Blok，W.J.，D.Pigozzi，1989年？代数逻辑？，美国数学回忆录。Soc.396号·Zbl 0664.03042号
[4] Blok，W.J.，D.Pigozzi，1992年？无等式通用Horn逻辑的代数语义？，A.Romanowska，J.D.H.Smith（编辑），《泛代数与拟群理论》，赫尔德曼，柏林，1-56页·Zbl 0768.03008号
[5] Budkin，A.I.，V.A.Gorbunov，1973年？代数的蕴涵类？，代数与逻辑12，139-149·Zbl 0289.08004号 ·doi:10.1007/BF02218694
[6] 达科斯塔，N.，1974年？关于不一致形式系统理论？，《圣母院形式逻辑杂志》15，497-510·doi:10.1305/ndjfl/1093891487
[7] Czelakowski，J.，1981年？等价逻辑（I），（II）？，Studia Logica逻辑研究40、227-236、355-372·Zbl 0476.03032号 ·doi:10.1007/BF02584057
[8] Czelakowski，J.，1986年？局部演绎定理？，Studia Logica逻辑研究45，377-391·Zbl 0622.03009号 ·doi:10.1007/BF00370271
[9] Czelakowski，J.，1994年，《逻辑、代数、结果运算》初版。
[10] Dellund，P？一个有限1-等价逻辑不是有限等价的？，初步版本·Zbl 0841.03037号
[11] Font，J.M.，G.Rodrigues，1990年？关于关联逻辑代数模型的注记？，蔡氏数学。Logik und Grundlagen der Math公司。36, 535-540. ·Zbl 0696.03004号 ·doi:10.1002/malq.19900360606
[12] Font，J.M.，V.Verdú，1991年？经典合与析取的代数逻辑？，Studia Logica逻辑研究50，391-419·Zbl 0753.03027号 ·doi:10.1007/BF00370680
[13] Herrmann，B.，1993年？等价逻辑与真理的定义？，柏林弗雷大学博士学位论文·Zbl 0850.03023号
[14] B.赫尔曼？用Leibniz算子刻画等价逻辑和代数逻辑？，提交给Studia Logica·Zbl 0879.03023号
[15] Lewin，R.A.，I.F.Mikenberg，M.G.Schwarze，1991年？C1不可代数化？，《圣母院形式逻辑杂志》32，609-611·Zbl 0744.03027号 ·doi:10.10305/ndjfl/1093635932
[16] 莫滕森，C.，1980年？C1的每个商代数都是平凡的？，《圣母院形式逻辑杂志》21，694-700·Zbl 0416.03029号 ·doi:10.1305/ndjfl/1093883254
[17] J.Porté，1965年，巴黎Gauthier-Villars，Recherches sur la théorie générale des systèmes formels。
[18] Prucnal，T.，A.Wro？滑雪，1974年？结构完备概念的代数刻画？，波兰科学院逻辑科公报3，30-33。
[19] Rasiowa，H.，1974，《非经典逻辑的代数方法》，北荷兰，阿姆斯特丹·Zbl 0299.02069号
[20] Wójcicki，R.，1988年，《逻辑演算理论》，多德雷赫特Kluwer出版社·Zbl 0682.03001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。