列夫·贝克莱米舍夫;托马索·弗拉米尼奥 佛朗科·蒙塔格纳关于可证明逻辑和多值逻辑的工作。 （英语） Zbl 1380.03004号 螺柱日志。 104，第1期，1-46页（2016）. 本文赞扬了佛朗科·莫塔尼亚在可证明逻辑、多值逻辑和多值事件概率论方面的工作。请注意，扫描zbMATH数据库中的“au:Montagna，Franco”会得到一个包含128个文档的列表。本文首先概述了Montagna在可证明逻辑、多值逻辑和广义概率论方面的工作。论文的主要部分（第2节）集中讨论了蒙塔尼亚对可证明逻辑的贡献。第3节涵盖了Montagna在一系列论文中研究的“BL-代数的代数性质”，从[P.阿格里亚诺和F.蒙塔格纳J.Pure应用。《代数181》，第2–3期，第105–129页（2003年；Zbl 1034.06009号)]. 最后，第4节描述了蒙塔格纳对多值逻辑的研究，以研究多值事件概率论的基础，特别是德芬特蒂的博彩游戏[B.德菲内蒂，Fundam。数学。17, 298–329 (1931;Zbl 0003.16303号);D.德容等人，《研究日志》。50，第1期，51–69页（1991年；Zbl 0744.03057号)].审核人：Albert Hoogewijs（根特） 理学硕士： 03-03 数学逻辑和基础的历史 03B45号 模态逻辑（包括规范逻辑） 03层45 可证明逻辑和相关代数（例如，可对角化代数） 03B48号 概率和归纳逻辑 03B50号 多值逻辑 03B52号 模糊逻辑；模糊逻辑 03G25号 与逻辑相关的其他代数 01A70号 传记、讣告、个人信息、参考书目 关键词：多值逻辑;可证明逻辑;德芬特蒂的赌博游戏;佛朗科·蒙塔格纳 传记参考： 佛朗哥·蒙塔格纳 引文：Zbl 1034.06009号;Zbl 0003.16303号;Zbl 0744.03057号 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}和\textit{T.Flaminio}，Stud.Log。104，第1号，1--46（2016；Zbl 1380.03004） 全文： 内政部 参考文献： [1] Aglianó，P.，I.M.A.Ferreirim和F.Montagna，《基本环：连续t-范数的代数研究》。《逻辑研究》87（1）：73-982007·Zbl 1127.03049号 [2] AglianóP.，Montagna F.：BL-代数的种类I：一般性质。《纯粹与应用代数杂志》181，105-129（2003）·Zbl 1034.06009号 ·doi:10.1016/S0022-4049（02）00329-8 [3] Aguzzoli S.，Bova S.：自由生成的BL-代数。纯粹逻辑与应用逻辑年鉴。161(9), 1144-1170 (2010) ·兹比尔1236.03048 ·doi:10.1016/j.apal.2010年2月10日 [4] Artemov，S.N.，《算术和模态逻辑的扩展》。博士论文，斯特克罗夫数学研究所，莫斯科，1979年。俄语·Zbl 0543.03010号 [5] Artemov，S.N.，《算术完整模态理论》。塞米奥提卡（Semotika i Informatika）（14）：115-133。维尼蒂，莫斯科，1980年。俄语。英文翻译：美国数学学会翻译135（2）：39-541987·Zbl 0463.03006号 [6] Artemov，S.N.，可证明真值谓词逻辑的非算术性。Doklady Akademii Nauk SSSR 284（2）：270-2711985年。俄语。《苏维埃数学Doklady 33:403-4051985》中的英语翻译·Zbl 0605.03007号 [7] Artemov，S.N.，《数字正确可证明逻辑》。Doklady Akademii Nauk SSSR，290（6）：1289-12921986。俄语。《苏维埃数学Doklady》英文译本34:384-3871987·Zbl 0621.03038号 [8] Artemov S.N.，Beklemishev L.D.：关于可证明逻辑中的命题量词。《圣母院形式逻辑杂志》34，401-419（1993）·Zbl 0805.03009号 ·doi:10.1305/ndjfl/1093634729 [9] Baaz M.，Hájek P.，Montagna F.，Veith H.：t-重言式的复杂性。《纯粹与应用逻辑年鉴》113（1-3），3-11（2001）·Zbl 1006.03022号 ·doi:10.1016/S0168-0072（01）00048-3 [10] Beklemishev，L.D.，关于命题可证明逻辑的分类。Izvestiya Akademii Nauk SSSR，爵士。材料，53（5）：915-9431989。俄语。数学英语翻译。苏联伊兹维提亚35:247-2751990年·Zbl 1373.03124号 [11] Beklemishev，L.D.、M.Pentus和N.Vereshchagin，《可预见性、复杂性、语法》。美国数学学会翻译，第2辑，1921999·Zbl 0914.00019号 [12] Berarducci A.：皮诺算术的可解释性逻辑。符号逻辑期刊551059-1089（1990）·Zbl 0725.03037号 ·doi:10.2307/2274474 [13] Bianchi M.，Montagna\[F.:{n}\]n-收缩BL-基因。数学逻辑档案50（3-4），257-285（2011）·Zbl 1266.03041号 ·doi:10.1007/s00153-010-0213-8 [14] Blok，W.和D.Pigozzi，代数逻辑。美国数学学会回忆录，396（77）。阿默尔。《数学社会》，普罗维登斯，1989年·Zbl 0664.03042号 [15] Boolos G.，McGee V.：谓词可证明逻辑的句子集在每个解释下都是正确的程度。符号逻辑杂志52（1），165-171（1987）·Zbl 0632.03016号 ·doi:10.2307/2273871 [16] Bova S.、Flaminio T.：Łukasiewicz评估的一致性为NPcomplete。国际近似推理杂志51，294-304（2010）·Zbl 1201.68117号 ·doi:10.1016/j.ijar.2009.10.002 [17] Bova S.，Montagna F.：交换GBL-代数逻辑中的结果关系是PSPACE完备的。理论计算机科学410（12-13），1143-1158（2009）·Zbl 1159.03045号 ·doi:10.1016/j.tcs.2008.10.024 [18] Busaniche，M.和F.Montagna，Hájek Logic BL和BL-代数。在P.Cintula、P.Hájek和C.Noguera（编辑）《数学模糊逻辑手册》第1卷：355-447。逻辑、数学逻辑和基础研究第37卷。学院出版物，伦敦，2011年·Zbl 1284.03176号 [19] Carlson T.：具有几个运算符和可证明性解释的模态逻辑。以色列数学杂志54，14-24（1986）·Zbl 0625.03007号 ·doi:10.1007/BF02764872 [20] Chang C.C.：多值逻辑的代数分析。美国数学学会学报88，467-490（1958）·Zbl 0084.00704号 ·doi:10.1090/S0002-9947-1958-0094302-9 [21] Ciabattoni A.，Metcalfe G.，Montagna F.：MTL及其扩展的真理压力因子的代数和证明理论表征。模糊集与系统161（3），369-389（2010）·Zbl 1190.03026号 ·doi:10.1016/j.fs.2009.09.001 [22] Ciabattoni A.，Montagna F.：局部有限多值逻辑的证明理论：半射影逻辑。理论计算机科学480，26-42（2013）·Zbl 1322.03019号 ·doi:10.1016/j.tcs.2013.02.003 [23] Cignoli，R.、I.M.L.D’Ottaviano和D.Mundici，多值推理的代数基础。Kluwer，Dordrecht，2000年·Zbl 0937.06009 [24] Cignoli R.，Esteva F.，Godo L.，Torrens A.：基本模糊逻辑是连续t-范数及其残差的逻辑。软计算4（2），106-112（2000）·doi:10.1007/s005000000044 [25] Cintula，P.、P.Hájek和C.Noguera（编辑）。数学模糊逻辑手册（第1卷）。《逻辑、数学逻辑和基础研究》第37卷。学院出版物，伦敦，2011年·Zbl 1283.03002号 [26] Cintula，P.、Hájek P.和C.Noguera（编辑）。数学模糊逻辑手册（第2卷）。《逻辑、数学逻辑和基础研究》第38卷。学院出版物，伦敦，2011年·Zbl 1283.03002号 [27] Corsi，E.A.和F.Montagna，《雷尼乌拉姆游戏和多值逻辑》。《模糊集与系统》，印刷版。DOI:10.1016/j.fss.2015.09.006·Zbl 1396.03042号 [28] de Finetti，B.，Sul对soggettivo della概率具有重要意义。数学基础17:298-3291931。译为英语的“关于概率的主观含义”，见P.Monari和D.Cocchi（编辑），Probabilitáe Induzione，Clueb，Bologna：291-3211993·Zbl 0003.16303号 [29] de Jongh D.，Jumelet M.，Montagna F.：关于Solovay定理的证明。Studia Logica50（1），51-70（1991）·Zbl 0744.03057号 ·doi:10.1007/BF00370387 [30] de Jongh，D.和F.Veltman，相对可解释性的Provability逻辑。在P.P.Petkov（编辑）中，《数理逻辑：175-208》。Plenum出版社，纽约，1990年·Zbl 0794.03026号 [31] de Jongh D.，Visser A.：可解释性逻辑中的显式不动点。《逻辑研究》50（1），39-49（1991）·兹比尔0744.03020 ·doi:10.1007/BF000370386 [32] Di Nola A.：用MV-代数的商表示和网状。Ricerche di Matematica（那不勒斯）40，291-297（1991）·Zbl 0767.06013号 [33] Di Nola A.，Dvurečenskij A.：乘积MV-代数。多值逻辑5，193-215（2001）·Zbl 1016.06006号 [34] Di Nola，A.和A.Dvurečenskij，《国家形态MV-algebras》，《纯粹与应用逻辑年鉴》，《佛朗哥·蒙塔格纳60岁生日之际的费斯特施里夫》161:161-1732009·Zbl 1186.06007号 [35] Dvurečenskij A.，Kowalski T.，Montagna F.：状态态射MV-代数。国际近似推理杂志52，1215-1228（2011）·Zbl 1251.06001号 ·doi:10.1016/j.ijar.2011.07.003 [36] Esteva F.，Gispert J.，Godo L.，Montagna F.：关于单体t-范数逻辑的一些公理扩张的标准和有理完备性。《逻辑研究》71（2），199-226（2002）·Zbl 1011.03015号 ·doi:10.1023/A:1016548805869 [37] Esteva F.、Godo L.：《整合Łukasiewicz和产品逻辑》。数学软件和软计算6219-234（1999）·Zbl 0953.03030号 [38] Esteva F.，Godo L.：基于单体t范数的逻辑：走向左连续t范数逻辑。模糊集与系统124，271-288（2001）·Zbl 0994.03017号 ·doi:10.1016/S0165-0114（01）00098-7 [39] Esteva，F.，L.Godo，and F.Montagna，TheŁ\[{\prod}\]∏and \321+[{\prod}\]∏\[[{\frac{1}{2}}12\]logics：连接\321]ukasiewicz和Product logics的两个完整模糊系统。数学逻辑档案40（1）：39-672001·Zbl 0966.03022号 [40] Fedel M.，Hosni H.，Montagna F.：不精确概率一致性的逻辑表征。《国际近似推理杂志》52（8），1147-1170（2011）·Zbl 1244.03082号 ·doi:10.1016/j.ijar.2011.06.004 [41] Fedel，M.，K.Keimel，F.Montagna，and W.Roth，《尤卡西维奇逻辑中的不精确概率、赌注和函数分析方法》。数学论坛25:405-4412013·Zbl 1266.06011号 [42] Feferman S.：一般情况下元数学的算术化。数学基础49，35-92（1960）·Zbl 0095.24301号 [43] Flaminio T.：条件概率评估一致性测试的NP包容：一种模糊逻辑方法。数学逻辑档案46（3-4），301-319（2007）·Zbl 1110.03012号 ·doi:10.1007/s00153-007-0045-3 [44] Flaminio T.，Godo L.：模糊事件概率推理逻辑。模糊集与系统158，625-638（2007）·Zbl 1116.03018号 ·doi:10.1016/j.fss.2006.11.008 [45] Flaminio，T.、H.Hosni和F.Montagna，无限值事件严格相干的表征。手稿·Zbl 1447.03001号 [46] 弗拉米尼奥·T·蒙塔格纳·F·：条件概率的逻辑和代数处理。数学逻辑档案44，245-262（2005）·Zbl 1064.03016号 ·doi:10.1007/s00153-004-0253-z [47] Flaminio T.，Montagna F.：具有内部状态和概率模糊逻辑的MV-代数。国际近似推理杂志50（1），138-152（2009）·Zbl 1185.06007号 ·doi:10.1016/j.ijar.2008.07.006 [48] 弗拉米尼奥·T、蒙塔格纳·F：多值概率推理模型。《逻辑与计算杂志》21（3），447-464（2011）·Zbl 1237.06005号 ·doi:10.1093/log.com/exp013 [49] Friedman S.-D.、Rathjen M.、Weiermann A.：缓慢一致性。《纯粹与应用逻辑年鉴》164（3），382-393（2013）·Zbl 1263.03055号 ·doi:10.1016/j.apal.2012.11.009 [50] Gerla B.：MV-代数，多重赌注和主观状态。国际近似推理杂志25，1-13（2000）·兹比尔0958.06007 ·doi:10.1016/S0888-613X（00）00044-X [51] Gottwald，S.，《多值逻辑论著》，《逻辑与计算研究》9，研究出版社，英国巴尔多克，2001年·Zbl 1048.03002号 [52] Goris E.，Joosten J.J.：所有合理算术理论的可解释逻辑中的一个新原则。IGPL逻辑杂志19，1-17（2011）·Zbl 1228.03040号 ·doi:10.1093/jigpal/jzp082 [53] Hájek，P.，《模糊逻辑的元数学》，Kluwer出版社，1998年·兹比尔0937.03030 [54] Hájek P.，Montagna F.：\[｛\prod_1｝\]π1-保守性的逻辑。数学逻辑档案30（2），113-123（1990）·Zbl 0713.03007号 ·doi:10.1007/BF01634981 [55] Hájek P.，Montagna F.：∏1-保守性的逻辑继续。数学逻辑档案32，57-63（1992）·Zbl 0790.03018号 ·doi:10.1007/BF01270395 [56] Hájek P.，Montagna F.：关于完全BL-chains的一阶逻辑的注记。《数学逻辑季刊》54（4），435-446（2008）·Zbl 1152.03019号 ·doi:10.1002/malq.200710058 [57] Hčrcík R.：\[{\prod}\]∏MTL的标准完备性定理。数学逻辑档案44（4），413-424（2005）·Zbl 1071.03013号 ·doi:10.1007/s00153-004-0254-y [58] Hosni，H.和F.Montagna，《稳定非标准不精确概率》。《IPMU2014会议录》（A.Laurent等人编辑），《计算机和信息科学中的通信》444:436-4452014·Zbl 1461.03022号 [59] Japaridze，G.K.，《可证明性调查的模态方法》。博士论文（Diss.kand.philos.nauk），莫斯科国立大学，1986年·Zbl 1263.03055号 [60] Jenei S.，Montagna F.：证明Esteva和Godo逻辑MTL的标准完整性。Studia Logica 70，183-192（2002）·Zbl 0997.03027号 ·doi:10.1023/A:1015122331293 [61] Jipsen P.，Montagna F.：关于广义BL-代数的结构。《普遍代数》55，226-237（2006）·兹比尔1109.06011 ·文件编号：10.1007/s00012-006-1960-6 [62] Kemeny J.G.：公平下注和归纳概率。符号逻辑杂志20（3），263-273（1955）·Zbl 0066.11002号 ·doi:10.2307/2268222 [63] Kihara H.，Ono H.：子结构逻辑的插值属性、Beth可定义属性和合并属性。《逻辑计算杂志》20（4），823-875（2010）·Zbl 1207.03030号 ·doi:10.1093/log/exn084 [64] Klement，E.P.、R.Mesiar和E.Pap，《三角规范》，Kluwer学术出版社，多德雷赫特，2000年·Zbl 0972.0302号 [65] Krauss P.H.：布尔代数上条件概率测度的表示。匈牙利科学院数学学报19（（3-4），229-241（1968）·Zbl 0174.49001号 ·doi:10.1007/BF01894506 [66] Kroupa T.：MV代数上的条件概率。模糊集与系统149（2），369-384（2005）·Zbl 1061.60004号 ·doi:10.1016/j.fss.2004.04.010 [67] Kroupa T.：MV-代数上状态的表示和扩张。数学逻辑档案45，381-392（2006）·Zbl 1101.06008号 ·doi:10.1007/s00153-005-0286-y [68] Kühr J.：蒙迪奇。，值代数逻辑中的De Finetti定理和Borel状态。国际近似推理杂志46（3），605-616（2007）·Zbl 1189.03076号 ·doi:10.1016/j.ijar.2007.02.005 [69] Lapenta，S.，MV-代数与乘积：将Pierce-Birkhoff猜想与Łukasiewicz逻辑联系起来。2015年，巴西国立大学博士论文·Zbl 0095.24301号 [70] Lindström，P.和V.Shavrukov，《所有人都存在的皮亚诺理论》，∑1-句。数学逻辑杂志8（2）：251-2802008·Zbl 1191.03005号 [71] Löb M.H.：Leon Henkin问题的解决方案。符号逻辑杂志20，115-118（1955）·Zbl 0067.00202号 ·doi:10.2307/2266895 [72] Łukasiewicz，J.和A.Tarski，Untersuchungenüber den Aussagenkalkül。《社会科学与瓦尔索维信件汇编》第三卷，23（III）：30-501930年·Zbl 0994.03017号 [73] Macintyre A.，Simmons H.：哥德尔对角化技术和相关理论性质。数学座谈会28，165-180（1973）·Zbl 0288.02018号 [74] Magari，R.，可对角化代数（表示定理的理论的代数化；II）。意大利博莱蒂诺·德拉尤尼·马特马蒂卡·意大利，4级，12:117-1251975·Zbl 0352.08009号 [75] Marchioni，E.和L.Godo，关于相干条件概率的推理逻辑：一种模糊模态逻辑方法。人工智能讲义，第九届欧洲人工智能逻辑会议，JELIA'04。J.J.Alferes和J.Leite（编辑），3229:213-2252004年·Zbl 1111.68683号 [76] Marchioni E.，Metcalfe G.：半线性子结构逻辑的Craig插值。《数学逻辑季刊》58（6），468-481（2012）·Zbl 1273.03075号 ·doi:10.1002/malq.201200004 [77] Marchioni E.，Spada L.：∏代数理论的进展。IGPL逻辑杂志19（3），476-489（2011）·Zbl 1252.03146号 ·doi:10.1093/jigpal/jzp089 [78] Metcalfe G.，Montagna F.，Tsinakis C.：有序代数中的合并和插值。《代数杂志》402，21-82（2014）·Zbl 1318.06012号 ·doi:10.1016/j.jalgebra.2013.11.19 [79] Montagna F.：关于费费曼谓词的代数化。Studia Logica《逻辑研究》37，221-236（1978）·Zbl 0398.03054号 ·doi:10.1007/BF02124724 [80] Montagna，F.，关于Peano算术的可对角化代数。Bollettino della Unione Matematica Italiana，B（5），16:795-8121979年·Zbl 0419.08010号 [81] Montagna F.：Peano算术中对角化代数的一阶理论的解释。Studia Logica《逻辑研究》39、347-354（1980）·Zbl 0463.03015号 ·doi:10.1007/BF00713544 [82] Montagna F.：可对角化代数一阶理论的不可判定性。Studia Logica《逻辑研究》39、355-359（1980）·Zbl 0463.03016号 ·doi:10.1007/BF00713545 [83] Montagna F.：可证明的谓词模态逻辑。《圣母院形式逻辑杂志》25，179-189（1987）·Zbl 0549.03013号 ·数字对象标识代码：10.1305/ndjfl/1093870577 [84] Montagna F.：PA有限子理论的可证明性。符号逻辑杂志52（2），494-511（1987）·Zbl 0623.03023号 ·doi:10.2307/2274396 [85] Montagna F.：命题模糊逻辑的代数方法。《逻辑、语言和信息杂志》9，91-124（2000）·兹伯利0942.06006 ·doi:10.1023/A:1008322226835 [86] Montagna F.：一个发电机上的自由BL-代数。《神经网络世界》5837-844（2000） [87] Montagna F.：多值逻辑中的存储运算符和乘法量词。《逻辑与计算杂志》14（2），299-322（2004）·Zbl 1061.03027号 ·doi:10.1093/logcom/14.2.299 [88] Montagna F.：关于连续t-范数BL-代数的谓词逻辑。数学逻辑档案44（1），97-114（2005）·Zbl 1070.03013号 ·doi:10.1007/s00153-004-0231-5 [89] Montagna F.：具有乘积和乘积残差的MV-代数的次约化。《普遍代数》53，109-137（2005）·Zbl 1086.06010号 ·文件编号：10.1007/s00012-005-1923-3 [90] Montagna F.：命题多值逻辑中的插值和Beth性质：语义研究。《纯粹与应用逻辑年鉴》141（1-2），148-179（2006）·Zbl 1094.03011号 ·doi:10.1016/j.apal.2005.11.001 [91] Montagna F.：关于多值逻辑中条件事件书籍的连贯性概念。《逻辑与计算杂志》21（5），829-850（2011）·Zbl 1252.03042号 ·doi:10.1093/log.com/exp061 [92] Montagna F.：部分未确定多值事件及其条件概率。《哲学逻辑杂志》41（3），563-593（2012）·Zbl 1261.03096号 ·doi:10.1007/s10992-011-9185-3 [93] Montagna F.，Fedel M.，Scianna G.：多值事件的非标准概率、一致性和条件概率。《国际近似推理杂志》54，573-589（2013）·Zbl 1316.03009号 ·doi:10.1016/j.ijar.2013.02.003 [94] Montagna F.，Marini C.，Simi G.：产品逻辑和概率乌拉姆博弈。模糊集与系统158（6），639-651（2007）·Zbl 1117.03028号 ·doi:10.1016/j.fss.2006.11.007 [95] Montagna F.，Noguera C.：区分语义上一阶谓词模糊逻辑的算法复杂性。《逻辑与计算杂志》20，399-424（2010）·兹比尔1198.03032 ·doi:10.1093/log.com/exp052 [96] Montagna F.，Noguera C.，HǕrcík R.：关于弱相消模糊逻辑。《逻辑与计算杂志》16（4），423-450（2006）·Zbl 1113.03021号 ·doi:10.1093/log.com/exl002 [97] Montagna F.，Panti G.：向MV-代数添加结构。《纯粹与应用代数杂志》164（3），365-387（2001）·Zbl 0992.06012号 ·doi:10.1016/S0022-4049（00）00169-9 [98] Montagna F.，Spada L.：乘积的MV-代数中乘积蕴涵的连续近似。软计算9（3），149-154（2005）·Zbl 1086.06009号 ·doi:10.1007/s00500-003-0338-3 [99] Montagna F.，Tsinakis C.：具有双核的有序群。《纯粹与应用代数杂志》214（1），71-88（2010）·Zbl 1185.06012号 ·doi:10.1016/j.jpaa.2007.01.019 [100] Montagna F.，Ugolini S.：乘积代数的范畴等价。《逻辑研究》103（2），345-373（2015）·Zbl 1373.03131号 ·doi:10.1007/s11225-014-9569-9 [101] Mundici D.：平均乌卡西维奇逻辑中的真实值。《逻辑研究》55（1），113-127（1995）·Zbl 0836.03016号 ·doi:10.1007/BF01053035 [102] Mundici D.：张量积和MV-代数的Loomis-Sikorski定理。应用数学进展22，227-248（1999）·兹伯利0926.06004 ·doi:10.1006/aama.1998.0631 [103] Mundici D.：无限值事件的簿记。国际近似推理杂志43，223-240（2006）·Zbl 1123.03011号 ·doi:10.1016/j.ijar.2006.04.004 [104] Mundici，D.，《高级Łukasiewicz演算和MV-代数》，《逻辑趋势35》，施普林格出版社，2011年·Zbl 1235.03002号 [105] Nelson，E.，《基本概率论》。《数学研究年鉴》，普林斯顿大学出版社，1988年·兹比尔0651.60001 [106] Noguera，C.，基于三角范数的模糊逻辑公理扩展的代数研究。巴塞罗那大学博士论文，2006年·Zbl 1152.03019号 [107] Pakhomov F.N.：GLP单词半格的初等理论的不确定性。斯博尼克数学203（8），1211-1229（2012）·Zbl 1268.03082号 ·doi:10.1070/SM2012v203n08ABEH004261 [108] Pakhomov，F.N.，《GLP-代数的基本理论》。技术报告，2014年。ArXiv:1412.4439[math.LO]·Zbl 1268.03082号 [109] Pakhomov F.N.：关于基于反射原理的序数符号系统的基本理论。Steklov数学研究所学报289，194-212（2015）·Zbl 1373.03124号 ·doi:10.1134/S0081543815040124 [110] Paris，J.B.，《不确定推理者的伴侣》。数学观点。剑桥大学出版社，1994年·Zbl 0838.68104号 [111] Paris，J.B.，《荷兰图书法注释》。《第二届不精确概率及其应用国际研讨会论文集》，2001年，第301-306页。 [112] Segerberg，K.，《经典模态逻辑论文》。1971年，乌普萨拉大学费洛索菲斯卡学院·Zbl 0311.02028号 [113] Shavrukov，V.Yu，皮亚诺算法的相对可解释性逻辑。预印本，斯特克罗夫数学研究所，莫斯科，1988年。俄语。 [114] Shavrukov，V.Yu，包含算术理论的可对角化代数的子代数。数学论文3231993·兹比尔0803.03044 [115] Shavrukov，V.Yu，皮亚诺的聪明孩子。《圣母院形式逻辑杂志》35:161-1851994·Zbl 0815.03011号 [116] Shavrukov，V.Yu，可对角化代数中的不可判定性。符号逻辑杂志62（1）：79-116·Zbl 0876.03006号 [117] Shavrukov，V.Yu，句子格中有效不可分的布尔代数。数学逻辑档案49（1）：69-892010·兹比尔1184.03041 [118] Shimony A.：一致性与确认公理。符号逻辑杂志20（1），1-28（1955）·Zbl 0064.24402号 ·doi:10.2307/2268039 [119] 斯莫林斯基：可对角化代数一阶理论的有限不可分性。《逻辑研究》41，347-349（1982）·Zbl 0542.03024号 ·doi:10.1007/BF00403334 [120] 斯莫林斯基C。：McAloon独特的Rosser句子的算术类比。数学逻辑档案28，1-21（1989）·Zbl 0663.03049号 ·doi:10.1007/BF01624079 [121] Solovay R.M.：模态逻辑的可证明性解释。以色列数学杂志28，33-71（1976）·Zbl 0352.02019号 [122] Spada L.:\[{\mu}\]μMV-algebras:Łukasiewicz逻辑中不动点的一种方法。模糊集与系统159（10），1260-1267（2008）·Zbl 1183.06006号 ·doi:10.1016/j.fss.2007.12.010 [123] Spada L.：带不动点的∏逻辑。数学逻辑档案47（7-8），741-763（2008）·Zbl 1179.03031号 ·doi:10.1007/s00153-008-0105-3 [124] Švejdar V.：广义Rosser句子的模态分析。《符号逻辑杂志》48，986-999（1983）·Zbl 0543.03010号 ·doi:10.2307/2273663 [125] Vardanyan，V.A.，可证明谓词逻辑及其片段的算术复杂性。Doklady Akademi Nauk SSSR 288（1）：1986年11月14日。俄语。《苏维埃数学Doklady 33:569-5721986》中的英语翻译·Zbl 0623.03022号 [126] 维瑟A：皮亚诺的聪明孩子。具有内置一致性的系统的可证明性逻辑研究。《圣母院形式逻辑杂志》30，161-196（1989）·Zbl 0686.03033号 ·doi:10.1305/ndjfl/1093635077 [127] Visser，A.，可解释性逻辑。在P.P.Petkov（编辑），《数理逻辑》，Plenum出版社，纽约，1990年，第175-208页·Zbl 0793.03064号 [128] Visser，A.，《可解释性逻辑概述》。M.Kracht、M.de Rijke、H.Wansing和M.Zakhariaschev（编辑），《模态逻辑进展》，v.1，CSLI课堂讲稿，第87:307-359号。CSLI出版物，斯坦福，1998年·Zbl 0915.03020号 [129] Visser A.：第二不完全性定理和有界解释。Studia Logica 100（1），399-418（2012）·Zbl 1260.03109号 ·doi:10.1007/s11225-012-9385-z [130] 维瑟·A·德·琼格·M·：瓦尔丹扬定理难逃其咎。数学逻辑档案45（5），539-554（2006）·Zbl 1096.03072号 ·doi:10.1007/s00153-006-0328-0 [131] Walley，P.，《概率不精确的统计推理》，《统计学和应用概率专著》第42卷，查普曼和霍尔出版社，伦敦，1991年·Zbl 0732.62004号 [132] 赞比拉D.：Shavrukov关于含有\[{I\Delta_0}\]IΔ0+exp理论的可对角化代数子代数的定理。圣母院形式逻辑杂志35，147-157（1994）·Zbl 0801.03037号 ·doi:10.1305/ndjfl/1040609301 [133] 赞比拉，D.，《有界算术和可证明逻辑章节》。1994年9月，阿姆斯特丹大学博士论文·Zbl 0095.24301号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。