奥尼尔，塔辛;迪克·德·乔恩 仅深度为3的刚性框架结构。 （英语） Zbl 1235.03047号 Bosch，Peter（编辑）等人，《逻辑、语言和计算》。第七届第比利斯逻辑、语言和计算国际研讨会，2007年第比利斯有限责任公司，2007年10月1日至5日，格鲁吉亚第比利斯。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00664-7/pbk）。计算机科学课堂讲稿5422。人工智能课堂讲稿，16-22（2009）。 引言：本文对深度为3的所有刚性根IPC框架进行了分类。除此之外，我们还表明这些元素最多有3个最大元素。对刚性框架的兴趣源于这篇论文[V.V.里巴科夫,M.特齐勒和C.发电机，螺柱日志。65，第3期，417–428页（2000年；Zbl 0969.03032号)]. 本文讨论了拟特征化推理规则。这些规则建立在有限根框架的Jankov形的模式上，但形式为\（\varphi\rightarrow p\）的Jankov-formula被转换为准特征化规则\（\valphi/p\）。如果这种规则在与规则本身对应的框架生成的逻辑中是可接受的，则称其为自容许的。[loc.cit.]的重要结果是，自容许规则在IPC本身中是可容许的，并且当拟定性推理规则所导出的框架不是刚性的时，它是自容许的。因此，对刚性框架的分类引起了人们的兴趣。报纸[V.V.里巴科夫和T.Oner公司，公牛。第节。日志。，大学后勤部。27，第4期，172-181页（1998年；Zbl 0965.03025号)]描述了深度为2的所有刚性模态根框架的结构。由于一般来说结构可能非常复杂，因此我们这里只处理深度为3的非紧部分序框架（IPC，即直觉框架或S4Grz框架）。通过应用简单的推理，我们将能够非常透明地描述深度3的刚性根IPC框架。结果只有有限的数量。希望我们的结果能够扩展到刚性IPC框架的更一般的表征。有关整个系列，请参见[Zbl 1160.03003号]. MSC公司： 03B20型 经典逻辑子系统（包括直觉逻辑） 03B45号 模态逻辑（包括规范逻辑） 03B55号 中间逻辑 03G25号 与逻辑相关的其他代数 引文：Zbl 0969.03032号;Zbl 0965.03025号 PDF格式BibTeX公司 XML格式引用 \textit{T.Oner}和\textit{D.de Jongh}，莱克特。注释计算。科学。5422、16-22（2009年；Zbl 1235.03047） 全文： 内政部 参考文献： [1] Bezhanishvili，N.：《中间模态逻辑和圆柱模态逻辑的格》，荷兰阿姆斯特丹大学ILLC博士论文（2006） [2] Chagrov，A.，Zakharyaschev，M.：模态逻辑，第605页。牛津克拉伦登出版社（1997） [3] 德容：《直觉命题演算研究》，威斯康星大学博士论文（1968年） [4] de Jongh，D.，Troelstra，A.：关于偏序集与一些伪布尔代数的连接。《Indagationes Mathematicae数学导论》28、317–329（1966）·Zbl 0137.02203号 ·doi:10.1016/S1385-7258（66）50036-1 [5] Rybakov，V.V.，Terziler，M.，Gencer，C.：关于自容许准特征化推理规则的描述。Studia Logica罗技研究所65、417–428（2000）·Zbl 0969.03032号 ·doi:10.1023/A:1005244015730 [6] Rybakov，V.V.，Oner，T.：限制深度2的刚架结构。公告部分逻辑27（4），172-181（1998）·兹伯利0965.03025 [7] Rybakov，V.V.：逻辑推理规则的可接受性，《逻辑和数学基础研究》，第136卷，第617页。Elsevier，阿姆斯特丹（1997）·Zbl 0872.0302号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。