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

最小逻辑上的层。 （英语。俄文原件） Zbl 1396.03067号

代数逻辑 55，第4号，295-305（2016）; 翻译自代数Logika 55，第449-464号（2016）。
摘要：我们介绍了Johansson最小逻辑J的扩展分类，它扩展了T.河内[J.Fac.Sci.，东京大学，第一节14，293–312（1969；Zbl 0188.31602号)]. 证明了任何有限公理化逻辑的层数都是可有效计算的。J上的每一层都有最少的逻辑。指出每一层都有有限多个极大逻辑，并且所有层的极小逻辑和极大逻辑在J上都是可识别的。

引用于2评论
引用于7文件

MSC公司：

03B53号 准一致逻辑
03B20型 经典逻辑子系统（包括直觉逻辑）
03B25号 理论和句子集的可决定性

关键词：

最小逻辑;可判定性;可识别逻辑;克里普克框架

引文：

Zbl 0188.31602号
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，代数逻辑55，No.4，295--305（2016；Zbl 1396.03067）；翻译自代数罗技55，第449-464号（2016）
全文： DOI程序

参考文献：

[1] T.Hosoi，“关于中间逻辑”，J.Fac。东京理工大学。Ia，14，293-312（1967）·Zbl 0188.31602号
[2] I.Johansson，“Minimalkalkül，ein reduzier直觉主义形式主义”，Comp。数学。，4, 119-136 (1937).
[3] W.Rautenberg、Klassische und Nicht-Klassiche Aussagenlogik、Vieweg、Braunschweig（1979）·兹比尔0424.03007 ·doi:10.1007/978-3-3222-85796-5
[4] S.P.Odintsov，建设性否定和超一致性，趋势日志。，螺柱日志。伦敦银行同业拆借利率。，26，施普林格，多德雷赫特（2008）·Zbl 1161.03014号 ·doi:10.1007/978-1-4020-6867-6
[5] L.L.Maksimova，“可预测超直觉逻辑”，《代数与逻辑》，第11期，第5期，第308-314页（1972年）·Zbl 0275.02027号 ·doi:10.1007/BF02330744
[6] L.L.Maksimova和V.F.Yun，“可识别逻辑”，《代数与逻辑》，54，第2期，167-182（2015）·Zbl 1347.03055号 ·doi:10.1007/s10469-015-9336-7
[7] S.P.Odintsov，“经典可反驳逻辑和极小逻辑的扩展类”，Log。日志。菲尔，9，91-107（2001）·Zbl 1034.03027号 ·doi:10.12775/LLP.2001.006
[8] K.Segerberg，“与Heyting和Johansson的命题逻辑有关”，Theoria，34，26-61（1968）。 ·doi:10.1111/j.1755-2567.1968.tb00337.x
[9] L.L.Maksimova，“用最小逻辑的次一致扩张证明插值的方法”，《代数与逻辑》，46，第5期，341-353（2007）·Zbl 1164.03312号 ·doi:10.1007/s10469-007-0034-y
[10] D.M.Gabbay和L.Maksimova，《插值和定义：模态和直觉主义逻辑》，克拉伦登出版社，牛津（2005）·Zbl 1091.03001号 ·doi:10.1093/acprof:oso/9780198511748.001.0001
[11] M.H.Stone，“分配格的拓扑表示和Brouwerian逻辑”，《恰斯》。Mat.Fys.，67，1-25（1937）·Zbl 0018.00303号
[12] H.Rasiowa和R.Sikorski，《元数学的数学》，PWN，华沙（1963）·Zbl 0122.24311号
[13] A.V.Kuznetsov，“关于超直觉逻辑分类的一些问题”，《三维全联合数学逻辑会议》，新西伯利亚（1974），第119-122页。
[14] A.I.Mal'tsev，《代数系统（俄语）》，瑙卡，莫斯科（1970年）·Zbl 0223.08001号
[15] M.Dummett，“具有可数矩阵的命题演算”，J.Symb。日志。，24，第1期，97-106（1959年）·Zbl 0089.24307号 ·doi:10.2307/2964753
[16] L.L.Maksimova，“超直觉逻辑中的克雷格定理和伪布尔代数的可合并变种”，《代数与逻辑》，第16期，第6期，第427-455页（1977年）·Zbl 0413.03018号 ·doi:10.1007/BF01670006
[17] K.A.Baker，“同余分布方程类中有限代数的有限方程基”，高等数学。，24, 207-243 (1977). ·Zbl 0356.08006号 ·doi:10.1016/0001-8708（77）90056-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。