×
阿列克谢·潘科（Alexej P.Pynko）。

广义逻辑系统的定义等价性和代数化。 （英语） Zbl 0948.03007号

Ann.纯粹应用。逻辑 98，第1-3、1-68号（1999年）; 勘误表同上，102，第3号，283-284（2000年）。
作者引入并研究了可代数化序列逻辑的概念，一个在统一基础上涵盖序列系统的逻辑系统的广义概念，以及Mal’tsev意义上的拟变量的拟方程理论。作者定义了广义逻辑之间的等价性概念，使得当逻辑等价于拟簇的拟方程理论时，逻辑就被认为是可代数化的。作者还提出了一种通用的代数方法，用于处理包含所有中间逻辑和许多有趣的非代数化逻辑的相当广泛的句子逻辑。
审核人：L.Esakia（第比利斯）

引用于20文件

理学硕士：

03B22号 抽象演绎系统
03克99 代数逻辑
03B60号 其他非经典逻辑
08B05号 等式逻辑，Mal'tsev条件
03B55号 中间逻辑
08C15号 准变种

关键词：

后果操作;等式理论;顺序系统;语句逻辑;代数逻辑;准变分;合取逻辑;准方程理论
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Pynko}，Ann.纯粹应用。逻辑98，编号1--3，1--68（1999；Zbl 0948.03007）
全文： 内政部

参考文献：

[1] Balbes，R。；Dwinger，P.，《分布格》（1974），密苏里大学出版社：密苏里哥伦比亚大学出版社·Zbl 0321.06012
[2] 北卡罗来纳州贝尔纳普，《一种有用的四值逻辑》（Dunn，J.M.；Epstein，G.，《多值逻辑的现代应用》（1977年），雷德尔出版公司：雷德尔出版有限公司（Dordrecht），8-37·Zbl 0424.03012号
[3] Bergman，C.，《代数和逻辑的结构完整性》（Andréka，H.；Monk，J.D。；Németi，I.，《数学学会学术讨论会》（Colloquia Mathematica Societatis János Bolyai），北霍兰德出版公司。阿姆斯特丹北霍兰德出版公司数学学会学术讨论会János Bolyai。《社会数学学术讨论会》，北荷兰出版公司。数学学会学术讨论会János Bolyai，北荷兰出版公司，阿姆斯特丹，代数逻辑。1988年布达佩斯会议记录（1991年），59-73·Zbl 0749.08007号
[4] 布洛克，W.J。；Pigozzi，D.，代数逻辑（1989），美国数学学会回忆录），396·Zbl 0664.03042号
[5] 布洛克，W.J。；Pigozzi，D.，代数逻辑中的局部演绎定理，（Andréka，H.；Monk，J.D。；Németi，I.，《数学学会学术讨论会》（Colloquia Mathematica Societatis János Bolyai），北霍兰德出版公司。阿姆斯特丹北霍兰德出版公司数学学会学术讨论会János Bolyai。数学讨论会Societatis János Bolyai，North-Holland Publishing Company。数学学会学术讨论会János Bolyai，北荷兰出版公司，阿姆斯特丹，代数逻辑。1988年布达佩斯会议记录（1991年），75-109·Zbl 0751.03036号
[6] Dummett，M.，《矩阵可数的命题演算》，J.符号逻辑，2497-106（1959）·Zbl 0089.24307号
[7] Dummett，M.，《直觉主义要素》（1977），牛津大学出版社：牛津大学出版社·Zbl 0358.02032号
[8] Kalman，J.A.，对合格，美国数学学会汇刊，87485-491（1958）·Zbl 0228.06003号
[9] Kleene，S.C.，《元数学导论》（1952），Van Nostrand Company：纽约Van Nostrand Company·Zbl 0047.00703号
[10] 罗希，J。；Suszko，R.，关于句子逻辑的评论，Indagationes Mathematicae，20177-183（1958）·兹比尔0092.24802
[11] Mal’cev，A.I.，《代数系统》（1965），施普林格出版社：纽约施普林格
[12] Moisil，G.C.，Recherches sur l’algèbre de la logique，《茉莉大学科学年鉴》，22，1-117（1935）
[13] Pogorzelski，W.A.，命题演算的结构完备性，科学公报，数学科学，天文学与物理学，19，349-351（1971）·Zbl 0214.00704号
[14] Pogorzelski，W.A。；Wojtylak，P.，命题逻辑中完备性理论的要素（1982），西里西亚大学：西里西亚卡托维兹大学·Zbl 0539.0302号
[15] G.牧师，《悖论的逻辑》，《哲学逻辑杂志》，第8219-241页（1979年）·Zbl 0402.03012号
[16] Pynko，A.P.，《构建命题逻辑系统的结构语义方法》（Preprint Pr-1815（1992年2月），俄罗斯科学院空间研究所：俄罗斯科学院莫斯科空间研究所），33，（俄语）
[17] Pynko，A.P.，《Sette最大次协调逻辑的代数研究》，Studia Logica，54，89-128（1995）·Zbl 0817.03004号
[18] Pynko，A.P.，《论牧师的悖论逻辑》，《应用非经典逻辑杂志》，5，219-225（1995）·Zbl 0841.03008号
[19] Pynko，A.P.，《通过德摩根定律表征贝尔纳普逻辑》，《数学逻辑季刊》，第41期，第442-454页（1995年）·Zbl 0837.03019号
[20] Pynko，A.P.，贝尔纳普四值逻辑及其扩展中的函数完备性和公理化，多值逻辑。《多值逻辑》，《应用非经典逻辑杂志》（1999）即将出版·Zbl 1033.03017号
[21] 塞特，A.M.，《关于命题演算（P^1）》，《日本数学》，第18期，第173-180页（1973年）·Zbl 0289.02013
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。