×
德米特里·斯科沃尔佐夫

一些具有弱常域原理的超直觉谓词逻辑的Kripke层完备性。 （英文） Zbl 1258.03031号

螺柱日志。 100，编号1-2，361-383（2012）.
本文分析了直觉主义谓词逻辑（mathbf{QH}）与公理（D^*equiv\forallx（P（x）\vee Q）\rightarrow Q\vee\forallx存在y（P（y）\&neg\neg[x=y]））、弱常数域原理、K\equiv\neg\neg\forally x（P，和（J\equiv\neg Q\vee\neg\neg Q），弱排斥中间原理。
所考虑系统的完备性是在等价于Kripke带轮的Kripke-框架类中发展起来的。值得注意的是，在标准克里普克语义中，所有考虑的系统都是不完整的，其中平等是每个可能世界中的对角线关系。
作者扩展了在他以前的作品中开发的技术，为（（mathbf{QH}+D^*）、（（mathbf{QH}+D*\&K）和（（mathpf{QH2}+D|*\&J））建立了适当的完备性结果。此外，本文还证明了系统（（mathbf{QH}+D^*&J）就所考虑的语义而言是不完整的。
关于如何将这些中间系统视为其他中间逻辑的Kripke完备化的一些讨论，例如，（（mathbf{QH}+e\&K\&J），其中（e）是马尔可夫原理的变体，请完成本文。
审核人：马可·贝尼尼（布奇纳斯科）

引用于2文件

MSC公司：

03B55号 中间逻辑

关键词：

超直觉谓词逻辑；克里普克语义学；Kripke滑轮；克里普克层完备性；中间谓词逻辑
PDF格式BibTeX公司 XML格式引用
\textit{D.Skvortsov}，螺柱日志。100，编号1--2361--383（2012；Zbl 1258.03031）
全文： 内政部

参考文献：

[1] Corsi G.，Ghilardi S.：“定向帧”。数学存档。逻辑29、53–67（1989）·Zbl 0689.03009号 ·doi:10.1007/BF01630811
[2] Dragalin，A.G.，《数学直觉主义》。《证明理论导论》，《数学专著翻译》67，AMS，1988年·Zbl 0634.03054号
[3] Gabbay D.M.：“树在中间逻辑中的应用”。符号逻辑杂志37，135–138（1972）·Zbl 0243.02019号 ·doi:10.2307/2272556
[4] Gabbay，D.、V.Shehtman和D.Skvortsov，《非经典逻辑中的量化》，第1卷，第2.6、2.14、3.6、5.1、5.2、5.6节，《逻辑与数学基础研究》153，Elsevier，2009年·Zbl 1211.03002号
[5] Ghilardi S.：“一些非经典一阶逻辑的前置语义和独立性结果”。数学存档。逻辑29125-136（1989）·Zbl 0691.03013号 ·doi:10.1007/BF01620621
[6] Ono H.：“中间谓词逻辑语义的不完整性。一： 克里普克语义学”。程序。日本。阿卡德。49, 711–713 (1973) ·Zbl 0299.02026 ·doi:10.3792/pja/1195519184
[7] Ono H.：“中间谓词逻辑的模型扩展定理和Craig插值定理”。数学报告。逻辑15，41–58（1983）·Zbl 0519.03016号
[8] Shehtman，V.和D.Skvortsov，“非经典一阶谓词逻辑的语义”，载于P.Petkov（编辑），《数学逻辑》，纽约Plenum出版社，1990年，第105–116页。（《数学夏令营与会议》，《逻辑海廷》，88年）·Zbl 0788.03022号
[9] Shimura T.：“一些中间谓词逻辑的Kripke完备性，带有常数域公理和规范公式的变体”。Studia Logica逻辑52，23–40（1993）·兹比尔0772.03008 ·doi:10.1007/BF01053062文件
[10] Skvortsov D.：“关于有限Kripke框架的谓词逻辑”。《逻辑研究》54、79–88（1995）·Zbl 0839.03011号 ·doi:10.1007/BF01058533
[11] Skvortsov D.：“关于一些有限Kripke框架的中间谓词逻辑，I.水平一致树”。Studia Logica 77，295–323（2004年）·Zbl 1073.03013号 ·doi:10.1023/B:STUD.0000039028.22017.4f
[12] Skvortsov D.：“关于线性Kripke框架的谓词逻辑及其一些扩展”。Studia Logica《逻辑研究》81、261–282（2005）·Zbl 1092.03013号 ·doi:10.1007/s11225-005-3706-4
[13] Skvortsov D.，“关于常数域原则及其在Kripke层语义中的弱化版本之间的差异”，准备中。
[14] Skvortsov D.，“弱常数域原理超直觉谓词逻辑的Kripke层完备性”，准备中·Zbl 1258.03031号
[15] Skvortsov D.，“关于Kripke层语义中常量域原则的一些弱化版本”，《准备中》。
[16] Smoryñski，C.，“克里普克模型的应用”，载于A.S.Troelstra（编辑），直觉主义算术和分析的元数学研究，数学讲义。344:324–391，施普林格出版社，1973年。
[17] 铃木N.-Y.：“关于超直觉谓词逻辑的Kripke层语义的一些结果”。《逻辑研究》52、73–94（1993）·Zbl 0772.03009号 ·doi:10.1007/BF01053065
[18] Yokota S.：“有界Kripkean高度一阶中间逻辑的公理化。我是Zeitschr。福尔数学。Logik和Grundl。数学博士。35, 415–421 (1989) ·Zbl 0661.03015号 ·doi:10.1002/malq.19890350507
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。