马明辉 一些亚直觉逻辑的标签表系统。 （英语） Zbl 1472.03017号 日志。Univers大学。 13，第2号，273-288（2019）. 摘要：标签表系统是为亚直觉逻辑开发的{工作组}_\σ，\mathbf{wKT}_\sigma）和（mathbf{wK4}_\西格玛）。这些亚直觉逻辑被嵌入到相应的正规模态逻辑中。应用Hintikka的模型系统证明了标记表系统的完备性。利用标号表方法得到了有限模型的性质、可判定性和析取性。 引用于1文件 MSC公司： 03B45 模态逻辑（包括规范逻辑） 03B20型 经典逻辑子系统（包括直觉逻辑） 03财年03 一般证明理论（包括证明理论语义） 关键词：标签表系统;亚直觉逻辑;模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit｛M.Ma｝，日志。Univers大学。13，No.2，273--288（2019；Zbl 1472.03017） 全文： 内政部 参考文献： [1] Beth，E.W.：语义蕴涵和形式派生。摘自：Hintikka，J.（编辑），《数学哲学》，第9-41页。牛津大学出版社。最初出版于Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen，Afdeling Letterkunde，N.R.19 no.13（阿姆斯特丹，1955），第309-342页（1969） [2] Blackburn，P.，de Rijke，M.，Venema，Y.：模态逻辑。剑桥大学出版社，剑桥（2001）·Zbl 0988.03006号 ·文件编号：10.1017/CBO9781107050884 [3] Celani，S.，Jansana，R.：仔细看一些亚直觉主义逻辑。《圣母院J.形式逻辑》42（4），225-255（2001）·Zbl 1034.03007号 ·doi:10.1305/ndjfl/1063372244 [4] Corsi，G.：具有严格含义的弱逻辑。Zeitschrift für mathematische Logik u.Grundlagen d 33，389-406（1987）·Zbl 0645.03004号 ·doi:10.1002/malq.19870330503 [5] Dos̆en，K。；Rijke，M.（编辑），《K和D的模态转换》，103-127（1993），多德雷赫特·doi:10.1007/978-94-015-8242-14 [6] Fitting，M.：模态逻辑和直觉逻辑的证明方法。D.Reidel，Dordrecht（1983年）·Zbl 0523.03013号 ·doi:10.1007/978-94-017-2794-5 [7] R·戈尔。；D’Agostino，M.（编辑）；等。，模态和时序逻辑的Tableau方法，297-396（1999），柏林·Zbl 0972.03529号 ·doi:10.1007/978-94-017-1754-0_6 [8] 辛提卡，J.：句子逻辑的新方法。Societas Scientiarum Fennica，《物理数学评论》，17（2）（1953）·Zbl 0052.01001号 [9] Hintikka，J.：量化理论中的形式和内容。《费尼卡哲学学报》8，3-55（1955）·兹标0067.00103 [10] 辛提卡，J.：《知识与信仰：两个概念的逻辑导论》。康奈尔大学出版社，伊萨卡（1962） [11] Kripke，S.：模态逻辑中的完备性定理。J.塞姆。逻辑24（1），1-14（1959）·Zbl 0091.00902号 ·doi:10.2307/2964568 [12] 马萨奇：模态逻辑的强分析表。收录于：CADE-12，LNAI 814，Bundy，A.（编辑），第723-737页。柏林施普林格（1994）·Zbl 1433.03026号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。