×
马克西莫娃，L.L。;云，V.F。

有限层前Heyting逻辑中的插值问题。 （英语。俄文原件） Zbl 1468.03030号

代数逻辑 58，第2期，144-157（2019）; 摘自《代数逻辑》58，第2期，210-228（2019）。
摘要：考虑了Johansson极小逻辑J上的插值问题。我们引入了一系列Johansson代数，这些代数将用于证明J逻辑具有Craig插值性质（CIP）的一些必要条件。因此，我们推导出只有有限多个具有CIP的有限层前Heyting代数。

引用于1文件

MSC公司：

03B53号 准一致逻辑
06D20日 Heyting代数（格理论方面）
03G25号 与逻辑相关的其他代数

关键词：

有限层预Heyting逻辑;克雷格插值性质;约翰逊代数
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，代数逻辑58，No.2，144--157（2019；Zbl 1468.03030）；《代数逻辑学》58，No.2，210-228（2019）的译文
全文： 内政部

参考文献：

[1] I.Johansson，《Minimalkalkül，ein reduzier直觉主义形式主义》，作曲。数学。，4, 119-136 (1937). ·Zbl 0015.24102号
[2] G.D'Agostino，“<Emphasis Type=“Italic”>μ-插值水平”，收录于Larisa Maksimova on Implication，interpolation，and Defability，Outstanding Contrib.Log。，15，S.Odintsov（编辑），施普林格（2018），第155-170页·Zbl 1429.03080号
[3] A.Karpenko，“弱传递模态逻辑某些插值性质的可判定性”，收录于Larisa Maksimova on Implication，interpolation，and Defability，Outstanding Contrib.Log。，15，S.Odintsov（编辑），Springer（2018），第171-183页·Zbl 1429.03083号
[4] W.Craig，“Herbrand-Gentzen定理在相关模型理论中的三个应用”，J.Symb。日志。，22，第3期，269-285（1957）·兹伯利0079.24502 ·doi:10.2307/2963594
[5] L.L.Maksimova和V.F.Yun，“最小逻辑的扩展和插值问题”，Sib。数学。J.，59，第4期，681-693（2018）·Zbl 1469.03078号 ·doi:10.1134/S0037446618040109
[6] L.L.Maksimova，“组合良好的Jlogic中Craig插值性质的可判定性”，Sib。数学。J.，53，第5期，839-852（2012）·Zbl 1285.03030号 ·doi:10.1134/S0037446612050096
[7] L.L.Maksimova，“组合逻辑中的插值和射影Beth性质”，《代数与逻辑》，51，第2期，163-184（2012）·Zbl 1285.03028号 ·doi:10.1007/s10469-012-9180-y
[8] L.L.Maksimova，“组合逻辑中的投射Beth性质”，《代数与逻辑》，52，第2期，116-136（2013）·Zbl 1315.03046号 ·doi:10.1007/s10469-013-9227-8
[9] L.L.Maksimova和V.F.Yun，“可识别逻辑”，《代数与逻辑》，54，第2期，167-182（2015）·Zbl 1347.03055号 ·doi:10.1007/s10469-015-9336-7
[10] S.P.Odintsov，“经典可反驳逻辑和极小逻辑的扩展类”，Log。日志。菲尔，9，91-107（2001）·Zbl 1034.03027号 ·doi:10.12775/LLP.2001.006
[11] S.P.Odintsov，建设性否定和超一致性，趋势日志。螺柱日志。伦敦银行同业拆借利率。，26，Springer-Verlag，Dordrecht（2008）·Zbl 1161.03014号
[12] L.L.Maksimova，“克雷格插值定理和可合并变量”，Dokl。阿卡德。Nauk SSSR，237，第6期，1281-1284（1977）·Zbl 0393.03013号
[13] L.Maksimova，“模态逻辑中的受限插值”，《高级模态日志》。，4，国王学院。出版物。，伦敦（2003），第297-311页·Zbl 1082.03019号
[14] L.L.Maksimova，“极小逻辑上弱插值性质的可判定性”，《代数与逻辑》，50，第2期，106-132（2011）·兹比尔1285.03029 ·doi:10.1007/s10469-011-9127-8
[15] L.Maksimova，“超直觉和一些模态逻辑中的受限插值问题”，Log。J.IGPL，18，第3期，367-380（2010年）·Zbl 1203.03035号 ·doi:10.1093/jigpal/jzp040
[16] L.L.Maksimova，“超直觉逻辑中的克雷格定理和伪布尔代数的可合并变种”，《代数与逻辑》，第16期，第6期，第427-455页（1977年）·Zbl 0413.03018号 ·doi:10.1007/BF01670006
[17] L.L.Maksimova，“隐式可定义性和正逻辑”，《代数与逻辑》，42，第1期，37-53（2003）·Zbl 1034.03008号 ·doi:10.1023/A：1022628824337
[18] L.L.Maksimova，“直觉主义逻辑和隐含可定义性”，《纯粹应用年鉴》。日志。，105，第1-3、83-102号（2000年）·Zbl 0963.03044号 ·doi:10.1016/S0168-0072（99）00049-4
[19] L.L.Maksimova和V.F.Yun，“最小逻辑上的层”，《代数与逻辑》，55，第4期，295-305（2016）·Zbl 1396.03067号 ·doi:10.1007/s10469-016-9399-0
[20] K.Segerberg，“与Heyting和Johansson有关的命题逻辑”，《理论》，第34期，第26-61页（1968年）。 ·doi:10.1111/j.1755-2567.1968.tb00337.x
[21] L.L.Maksimova，“可预测超直觉逻辑”，《代数与逻辑》，第11期，第5期，第308-314页（1972年）·Zbl 0275.02027号 ·doi:10.1007/BF02330744
[22] D.M.Gabbay和L.Maksimova，《插值和定义：模态和直觉主义逻辑》，克拉伦登出版社，牛津（2005）·Zbl 1091.03001号 ·doi:10.1093/acprof:oso/9780198511748.001.0001
[23] L.L.Maksimova和V.F.Yun，“最小逻辑和Odintsov区间上的插值”，Sib。数学。J.，56，第3期，476-489（2015）·Zbl 1351.03018号 ·doi:10.1134/S0037446615030118
[24] L.L.Maksimova，“最小逻辑和插值的负等价”，Sib。El.Mat.Izv.公司。，11, 1-17 (2014); http://semr.math.nsc.ru/v11/p1-17/pdf。 ·Zbl 1354.03031号
[25] A.I.Mal'tsev，《代数系统（俄语）》，瑙卡，莫斯科（1970年）·Zbl 0223.08001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。