里巴科夫，V.V。 可解释模态逻辑的可容许规则。 （英语） Zbl 0496.03008号 代数逻辑 20, 291-307 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于三文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B25号 理论和句子集的可决定性 03B55号 中间逻辑 关键词：可推导规则;可证明性;S4的扩展;超直觉逻辑;普遍理论的可判定性;林登鲍姆代数;表格逻辑;表前直觉逻辑 引文：Zbl 0489.03005号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑20，291--307（1982；Zbl 0496.03008） 全文： 内政部 参考文献： [1] L.L.Maksimova，“可预测超直觉逻辑”，《代数逻辑》，第11期，第5期，558–570页（1972年）。 [2] L.L.Maksimova，“刘易斯逻辑S4的可预测扩展”，《代数逻辑学》，第14卷，第1期，第28–55页（1975年）。 [3] L.L.Maksimova，“有限层的模态逻辑”，《代数逻辑》，第14期，第3期，304–319页（1975年）。 [4] L.L.Maksimova，“正规模态逻辑的格”，《代数逻辑》，第13期，第2期，188-216页（1974年）。 [5] A.I.Mal'tsev，《代数系统（俄语）》，瑙卡，莫斯科（1970年）。 [6] V.Yu。Meskhi和L.L.Esakia，“五个关键模态系统”，收录于：逻辑推理理论（全联合研讨会的演讲论文），莫斯科（1974年），第76-79页。 [7] G.E.Mints，“可接受和衍生规则”，Zap。诺什。Sem.Leningr.列宁格勒。其他日期。材料仪表Akad。Nauk SSSR，8189-191（1968年）·Zbl 0207.00401号 [8] G.E.Mints，“可接受规则的推导”，Zap。诺什。Sem.Inst.Akad.公司。诺克·列宁格。其他日期。材料SSSR，32，85–89（1972）·Zbl 0358.02031号 [9] V.V.Rybakov，“刘易斯逻辑S5的可接受规则”，《第五次全联合数学竞赛》。《逻辑》（演讲论文），新西伯利亚（1979年），第132页。 [10] R.Feis，《模态逻辑（俄语）》，瑙卡，莫斯科（1974年）。 [11] A.I.Tsitkin，“直觉主义命题逻辑的可接受规则”，Mat.Sb.，102，No.2，289-301（1977）·Zbl 0386.03011号 [12] A.I.Tsitkin，“结构完整的超直觉逻辑”，Dokl。阿卡德。瑙克SSSR，241，编号1，40-43（1978）·Zbl 0412.03009号 [13] K.Fine，“S4逻辑的上升链”，《理论》，第40卷第2期，第110–117页（1974年）·Zbl 0307.02013年 ·doi:10.1111/j.1755-2567.1974.tb00081.x [14] H.Freedman，“数理逻辑中的一道题和两道题”，《符号逻辑杂志》，第40期，第2期，113-130页（1975年）·Zbl 0318.02002号 ·doi:10.2307/2271891 [15] S.Scroggs，“刘易斯系统S5的扩展”，《符号逻辑》，第16卷第2期，第112–120页（1951年）·Zbl 0043.00804号 ·doi:10.2307/2266683 [16] A.Horn，“自由S5代数”，《圣母院形式逻辑》，第19卷，第1期，189-191页（1978年）·Zbl 0368.02023号 ·doi:10.1305/ndjfl/109388226 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。