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

表前逻辑中Craig的插值性质。 （英语。俄文原件） Zbl 07825250号

同胞。数学。J。 65，编号2，344-350（2024）; 来自Sib的翻译。材料Zh。65，第2期，349-357（2024年）。
小结：描述了最小逻辑的所有表前扩展，表格式问题在前面得到了解决。事实证明，在最小逻辑上总共有七个表前逻辑。证明了其中四个具有Craig插值性质（CIP），两个不具有。在本文中，我们解决了第七逻辑中的CIP问题。我们证明了它具有Craig插值性质。

MSC公司：

03Bxx号 一般逻辑
03Cxx号 模型理论
03Fxx公司 证明理论与构造数学

关键词：

最小逻辑;表格性;非对称逻辑;插值特性
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.65，No.2，344--350（2024；Zbl 07825250）；来自Sib的翻译。材料Zh。65，编号2，349--357（2024）
全文： 内政部

参考文献：

[1] Johansson，I.，Der Minimalkalkül，ein reduzier直觉主义形式主义，作曲。数学。，4, 119-136, 1937
[2] Craig，W.，《Herbrand-Gentzen定理在关联模型理论和证明理论中的三个应用》，J.Symb。日志。，22, 269-285, 1957 ·兹伯利0079.24502 ·doi:10.2307/2963594
[3] Maksimova，LL，超直觉逻辑中的Craig定理和伪布尔代数的可合并变种，代数逻辑，16，6，427-4551977·Zbl 0413.03018号 ·doi:10.1007/BF01670006
[4] Maksimova，法学硕士；Yun，VF，最小逻辑和插值问题的扩展，Sib。数学。J.，59，4，683-6912018年
[5] Maksimova，法学硕士；Yun，VF，最小逻辑上的表格问题，Sib。数学。J.，57，6，1034-10432016年·Zbl 1420.03024号 ·doi:10.1134/S0037446616060100
[6] Maksimova，法学硕士；Yun，VF，Pretabularity和Craig关于最小逻辑的插值问题，Sib。选举人。数学。报告，20，1，245-250，2023
[7] Maksimova，法学硕士；Yun，VF，有限层前Heyting逻辑中的插值问题，代数逻辑，58，2，144-1572019·Zbl 1468.03030号 ·doi:10.1007/s10469-019-09533-3
[8] Maksimova，法学硕士；Yun，VF，最小逻辑上的层，代数逻辑，55，4，295-305，2016·Zbl 1396.03067号 ·doi:10.1007/s10469-016-9399-0
[9] Hosoi，T.，《关于中间逻辑》。一、 J.工厂。科学。东京大学，Sec.Ia，14，293-3121967·Zbl 0188.31602号
[10] Maksimova，法学硕士；Yun，VF，可识别逻辑，代数逻辑，54，2，183-1872015·Zbl 1347.03055号 ·doi:10.1007/s10469-015-9336-7
[11] Maksimova，LL，克雷格插值定理和可合并变量，Dokl。阿卡德。安全和社会服务部，237，6128-12841977·Zbl 0393.03013号
[12] Segerberg，K.，与Heyting和Johansson有关的命题逻辑，理论，34，26-611968·doi:10.1111/j.1755-2567.1968.tb00337.x
[13] Maksimova，LL，极小逻辑的准一致扩展中的插值证明方法，代数逻辑，46，5，341-3532007·兹比尔1164.03312 ·doi:10.1007/s10469-007-0034-y
[14] 劳滕贝格，W.，Klassische und nicht-classsiche Aussagenlogik，2013，威斯巴登：维埃格+特伯纳，威斯巴顿
[15] Malcev，AI，代数系统，1973年，柏林，海德堡和纽约：施普林格和阿卡德米，柏林，海德堡，纽约·Zbl 0266.08001号 ·数字对象标识代码：10.1515/9783112611227
[16] Maksimova，LL，《正逻辑中的隐式可定义性》，代数逻辑，42，1，37-532003·Zbl 1034.03008号 ·doi:10.1023/A：1022628824337
[17] Odintsov，S.，《经典可反驳逻辑和极小逻辑的扩展类》，Log。日志。菲洛斯。，9, 91-107, 2001 ·Zbl 1034.03027号 ·doi:10.12775/LLP.2001.006
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。