马克西莫娃,L.L。;云,V.F。 最小逻辑的混合扩展。 (英语。俄文原件) 兹布尔07401182 同胞。数学。J。 62,第5号,876-881(2021); 来自Sib的翻译。材料Zh。62,第5期,1084-1090(2021)。 摘要:我们考虑了约翰逊最小逻辑J的一些扩展。混合逻辑扩展了直觉逻辑Int和负逻辑Neg的交集。我们证明了混合逻辑的可感知性和可识别性被简化为其直觉性和否定性对应项的类似性质。此外,混合逻辑的插值特性被简化为其直觉性和负性对应的插值特性。在组合逻辑中,限制插值性质IPR和射影Beth性质PBP是等价的。在这里,我们为混合逻辑提供了一个更简单的证明。 MSC公司: 03B53号 准一致逻辑 03B20型 经典逻辑子系统(包括直觉逻辑) 关键词:最小逻辑;约翰逊逻辑;混合逻辑;算法属性;可判定性;可识别逻辑;可感知公式;插值特性 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}和\textit{V.F.Yun},Sib。数学。J.62,No.5,876--881(2021;Zbl 07401182);来自Sib的翻译。材料Zh。62,第5号,1084--1090(2021) 全文: 内政部 参考文献: [1] Odintsov,SP,《建设性否定与超一致性》(2008),多德雷赫特:施普林格出版社·Zbl 1161.03014号 ·doi:10.1007/978-1-4020-6867-6 [2] Maksimova,法学硕士;Yun,VF,前Heyting逻辑中的感知,Sib。选举人。数学。报告,171064-1072(2020)·Zbl 1443.03016号 [3] Johansson,I.,Der Minimalkalkül,《形式主义的还原》,Compos。数学。,4, 119-136 (1937) ·Zbl 0015.24102号 [4] Maksimova,法学硕士;Yun,VF,可识别逻辑,代数逻辑,54,2,183-187(2015)·兹比尔1347.03055 ·doi:10.1007/s10469-015-9336-7 [5] Maksimova,法学硕士;Yun,VF,强可判定性和强可识别性,代数逻辑,56,5,370-385(2017)·Zbl 1420.03046号 ·doi:10.1007/s10469-017-9459-0 [6] DM Gabbay;Maksimova,L.,《插值和可定义性:模态和直觉主义逻辑》(2005),牛津:牛津大学,牛津·Zbl 1091.03001号 ·doi:10.1093/acprof:oso/9780198511748.001.0001 [7] Craig,W.,《Herbrand-Gentzen定理在关联模型理论和证明理论中的三个应用》,J.Symb。日志。,22, 269-285 (1957) ·Zbl 0079.24502号 ·doi:10.2307/2963594 [8] Maksimova L.,“模态逻辑中的限制插值”,摘自:《模态逻辑进展》,第4卷,伦敦国王学院(2003),297-311·Zbl 1082.03019号 [9] Kreisel,G.,《直觉主义逻辑中的显式可定义性》,J.Symb。日志。,25, 4, 389-390 (1960) [10] Maksimova,LL,最小逻辑上弱插值性质的可判定性,代数逻辑,50,2,106-132(2011)·Zbl 1285.03029号 ·doi:10.1007/s10469-011-9127-8 [11] Maksimova,LL,超直觉逻辑中的Craig定理和伪布尔代数的可合并变种,代数逻辑,16,6,427-455(1977)·Zbl 0413.03018号 ·doi:10.1007/BF01670006 [12] 马克西莫娃,L.,《直觉主义逻辑和隐含可定义性》,《纯粹应用》。逻辑,105,1,83-102(2000)·Zbl 0963.03044号 ·doi:10.1016/S0168-0072(99)00049-4 [13] Maksimova,LL,隐式可定义性和正逻辑,代数逻辑,42,1,37-53(2003)·Zbl 1034.03008号 ·doi:10.1023/A:1022628824337 [14] Maksimova,LL,《组合逻辑中的插值和射影Beth性质》,代数逻辑,51,2,163-184(2012)·Zbl 1285.03028号 ·doi:10.1007/s10469-012-9180-y [15] Maksimova,LL,组合逻辑中的射影Beth性质,代数逻辑,52,21111-136(2013)·Zbl 1315.03046号 ·doi:10.1007/s10469-013-9227-8 [16] Maksimova,LL,Heyting代数中射影Beth性质的可判定性,代数逻辑,40,3,290-301(2001)·Zbl 0989.03025号 ·doi:10.1023/A:1010208217965 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。