古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;朱莉娅·伊林 Cofinal稳定逻辑。 （英语） Zbl 1403.03045号 螺柱日志。 104，第6期，1287-1317（2016）. 摘要：我们将（楔形，vee）-正则公式推广为（楔形）-正则规则，并证明了每个直觉主义多结论结果关系都可以通过（楔形。这就产生了稳定超直觉逻辑的一个方便的特征。标准公式是标准公式的类似物，它是Zakharyaschev的超直觉逻辑标准公式（简称si-logics）的代数对应物。因此，稳定的硅逻辑是子帧硅逻辑的类似物。我们引入了余尾稳定直觉主义多结论关系和余尾稳定si-逻辑，从而回答了余尾子框架逻辑的类比应该是什么的问题。我们证明了每一个共终稳定的si-逻辑都具有有限模型性质，并且存在连续的许多不稳定的共终稳定si-逻辑。最后，我们用几个例子说明了稳定、余最终稳定、子帧和余最终子帧逻辑类之间的相似性和差异。 引用于4文件 MSC公司： 03B55号 中间逻辑 03B20型 经典逻辑子系统（包括直觉逻辑） 06D20日 Heyting代数（格理论方面） 关键词：直觉逻辑;直觉多结论结果关系;公理化;海廷代数;品种;通用类 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人，研究日志。104，编号61287-1317（2016；兹bl 1403.03045） 全文： 内政部 OA许可证 参考文献： [1] Balbes R.，Dwinger P.：分配格。密苏里州哥伦比亚市密苏里大学出版社（1974年）·Zbl 0321.06012 [2] Bezhanishvili G.：局部有限变种。《普遍代数》46（4），531-548（2001）·Zbl 1064.08007号 ·doi:10.1007/PL000000358 [3] Bezhanishvili G.，Bezhanisvili N.：Profinite Heyting代数。第25（3）号命令，211-227（2008）·Zbl 1155.06007号 ·doi:10.1007/s11083-008-9089-1 [4] Bezhanishvili G.，Bezhanisvili N.：规范公式的代数方法：直觉主义案例。符号逻辑评论2（3），517-549（2009）·Zbl 1183.03065号 ·文件编号：10.1017/S1755020309990177 [5] Bezhanishvili，G.和N.Bezhanisvili，Heyting代数的局部有限约化和正则公式。《圣母院形式逻辑杂志》即将出版。可在http://dspace.library.uu.nl/handle/1874/273468。 ·Zbl 1417.03198号 [6] Bezhanishvili G.，Bezhanisvili N.，Iemhoff R.：稳定规范规则。符号逻辑杂志81（1），284-315（2016）·Zbl 1345.03034号 ·doi:10.1017/jsl.2015.54 [7] Burris，S.和H.P.Sankappanavar，《通用代数课程》，《数学研究生教材》，施普林格出版社，1981年·Zbl 0478.08001号 [8] Chagrov A.V.，Zakharyaschev M.：模态逻辑，《牛津逻辑指南》第35卷。牛津大学出版社，牛津（1997）·Zbl 0871.03007号 [9] Citkin A.：特征推理规则。Logica Universalis 9（1），27-46（2015）·Zbl 1377.03053号 ·doi:10.1007/s11787-015-0116-x [10] de Jongh，D.，《直觉命题演算研究》，威斯康星大学博士论文，1968年·兹伯利0201.01802 [11] Diego，A.，Sur les Algèbres de Hilbert，由Luisa Iturrioz从西班牙语翻译而成。数学逻辑集合，Sér。A、 法斯科。二十一、 巴黎，戈瑟·维拉斯，1966年。 [12] Esakia L.：拓扑Kripke模型。苏联数学Doklady 15，147-151（1974）·Zbl 0296.02030号 [13] Esakia，L.，《关于模态和超直觉系统的理论》，收录于《逻辑推理》（莫斯科，1974年），瑙卡，莫斯科，1979年，第147-172页（俄语）·Zbl 1345.03034号 [14] Fine K.：S4逻辑的升序。理论40（2），110-116（1974）·Zbl 0307.02013年 ·doi:10.1111/j.1755-2567.1974.tb00081.x [15] 精细K.：包含K4的逻辑。二、。符号逻辑杂志50（3），619-651（1985）·Zbl 0574.03008号 ·doi:10.2307/2274318 [16] Goudsmit，J.，直觉主义规则。《中级逻辑可录取规则》，博士论文，乌得勒支大学，2015年。 [17] Hosoi T.，Ono H.：第二个切片上的中间逻辑。东京大学科学院学报，东京，第一A部分，数学17，457-461（1970）·Zbl 0216.00502号 [18] Iemhoff，R.，《结果关系和可接受规则》，《哲学逻辑杂志》，2016年。doi:10.1007/s10992-015-9380-8·Zbl 1392.03021号 [19] Jankov，V.，《直觉命题演算中的可演绎性与有限关联结构之间的关系》，Doklady Akademii Nauk SSSR 151:1293-12941963（俄语）·Zbl 0143.25201号 [20] Jankov V.：强独立超直觉命题演算序列的构造。苏联数学Doklady 9，806-807（1968）·Zbl 0198.31803号 [21] Jeřábek E.：规范规则。符号逻辑杂志74（4），1171-1205（2009）·Zbl 1186.03045号 ·doi:10.2178/jsl/1254748686 [22] 马克西莫娃：关于具有析取性质的极大中间逻辑。《逻辑研究》45（1），69-75（1986）·Zbl 0635.03019号 ·doi:10.1007/BF01881550 [23] Priestley H.A.：用有序Stone空间表示分配格。伦敦数学学会公报2，186-190（1970）·兹伯利0201.01802 ·doi:10.1112/blms/2.2.186 [24] Priestley H.A.：有序拓扑空间和分配格的表示。伦敦数学学会会刊24，507-530（1972）·Zbl 0323.06011号 ·doi:10.1112/plms/s3-24.3.507 [25] Priestley H.A.：伪补分配格的对偶空间的构造。数学季刊，牛津系列26（102），215-228（1975）·Zbl 0323.06013 ·doi:10.1093/qmath/26.1.215 [26] Zakharyaschev M.：超直觉逻辑的语法和语义。代数与逻辑28（4），262-282（1989）·兹伯利0708.03011 ·doi:10.1007/BF01982017 [27] Zakharyaschev M.：K4的标准公式。基本结果。符号逻辑杂志57（4），1377-1402（1992）·Zbl 0774.03005号 ·doi:10.2307/2275372 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。