×
迈克尔·卡明斯基;尼西姆·弗朗西兹

Lambek演算扩展了直觉命题逻辑。 （英语） Zbl 1417.03165号

螺柱日志。 104，第5期，1051-1082（2016）.
摘要：我们提出了用直觉命题逻辑扩展的Lambek演算的完整语义和序列演算。

引用于三文件

MSC公司：

03B47型 子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek微积分、BCK和BCI逻辑）
03B20型 经典逻辑子系统（包括直觉逻辑）
03B05号 经典命题逻辑
03财年03 一般证明理论（包括证明理论语义）

关键词：

兰贝克微积分;直觉命题逻辑;克里普克语义学;三元语义;矢列演算;可判定性
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaminski}和\textit{N.Francez}，研究日志。104，第5号，1051--1082（2016；Zbl 1417.03165）
全文： DOI程序

参考文献：

[1] Buszkowski W.：句法范畴理论中的一些决策问题。Zeitschrift für mathematische Logik und Grundlagen der Mathematik数学博士28、539-548（1982）·Zbl 0499.03010号 ·doi:10.1002/malq.19820283308
[2] Buszkowski W.：剩余代数逻辑的插值和FEP。IGPL逻辑期刊19437-454（2011）·Zbl 1259.03085号 ·doi:10.1093/jigpal/jzp094
[3] Buszkowski，W.和M.Farulewski，《带加法和无上下文语言的非联想Lambek演算》，收录于O.Grumberg、M.Kaminski、S.Katz和S.Wintner（编辑），《语言：从形式到自然》，《在尼西姆·弗朗西兹65岁生日之际献给他的论文》，《计算机科学讲义》第5533卷，斯普林格，海德堡，2009年，第45-58页·Zbl 1239.03016号
[4] Došen K.：对Lambek演算框架的简要概述。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik数学博士38、179-187（1992）·Zbl 0793.03025号 ·doi:10.1002/毫克19920380113
[5] Dunn，M.，《积极相关暗示的“Gentzen系统”》，《句法逻辑杂志》38:356-3571974年（摘要）。
[6] Gentzen G.：《数学杂志》第39卷，176-210页（1935年）·Zbl 0010.14501号 ·doi:10.1007/BF01201353
[7] Gentzen G.：Untersuchungenüber das logische Schliessen II。Mathematische Zeitschrift 39、405-431（1935）·Zbl 0010.14601号 ·doi:10.1007/BF01201363
[8] Kaminski M.，Francez N.：用经典命题逻辑扩展的Lambek演算的关系语义。Studia Logica逻辑研究102，479-497（2014）·Zbl 1322.03018号 ·doi:10.1007/s11225-013-9474-7
[9] 金泽M.：兰贝克演算丰富了额外的连接词。《逻辑、语言与信息杂志》141-171（1992）·Zbl 0793.03028号 ·doi:10.1007/BF00171695
[10] Kleene，S.C.，《元数学导论》，荷兰北部，阿姆斯特丹，1962年·Zbl 0047.00703号
[11] Kozak M.：分布全Lambek演算具有有限模型性质。Studia Logica罗技研究91，201-216（2009）·Zbl 1183.03021号 ·doi:10.1007/s11225-009-9172-7
[12] Kripke，S.，直觉主义逻辑的语义分析I，J.Crossley和M.Dummett（编辑），形式系统和递归函数，逻辑和数学基础系列，荷兰北部，阿姆斯特丹，1965年，第92-130页·Zbl 0137.00702号
[13] Kurtonina，N.和M.Moortgat，《Lambek-Grishin演算的关系语义学》，载于C.Ebert，G.Jäger和J.Michaelis（编辑），《语言的数学》，第十届和第十一届两年期会议，MOL 10和MOL 11，计算机科学讲稿第6149卷，斯普林格，海德堡，2009年，第210-222页·Zbl 1286.03082号
[14] Lambek，J.，句子结构的数学，《美国数学月刊》65:154-1701958年。（另见W.Buszkowski、W.Marciszewski和J.van Benthem（编辑）《分类语法》，约翰·本杰明斯，阿姆斯特丹，1988年。）·Zbl 0080.00702号
[15] Mints G.E.：相关逻辑中的割消去定理。《苏联数学杂志》6，422-428（1976）·Zbl 0379.02011 ·doi:10.1007/BF01084083
[16] O'Hearn，P.W.和D.J.Pym，《捆绑暗示的逻辑》，《符号逻辑公报》5:215-2441999年·Zbl 0930.03095号
[17] Pym，D.J.，《捆绑含义逻辑的语义和证明理论》，《应用逻辑系列》第26卷，斯普林格，海德堡，2002年·Zbl 1068.03001号
[18] Restall，G.，《无契约逻辑论》，昆士兰大学博士论文，1994年·兹伯利0811.03005
[19] Segerberg，K.，《经典模态逻辑论文》，《乌普萨拉：费洛索菲斯卡研究者》第13期，1971年·Zbl 0311.02028号
[20] Thomason R.H.：关于直觉谓词演算的强语义完备性。IGPL逻辑杂志15，271-286（2007）·Zbl 1134.03016号 ·doi:10.1093/jigpal/jzm012
[21] Troelstra，A.S.和H.Schwichtenberg，《基本证明理论》，剑桥大学出版社，2000年·Zbl 0957.03053号
[22] Zimmermann，E.，《自然演绎中的完全Lambek演算》，《数学逻辑季刊》56:85-882010年·Zbl 1203.03030号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。