卡洛斯·卡莱罗;塞尔吉奥·马塞利诺 关于公理和再扩展。 （英语） Zbl 07451998号 Arieli，Ofer（编辑）等人，Arnon Avron关于非经典逻辑的语义和证明理论。查姆：施普林格。Outst公司。控制日志。21, 39-69 (2021). 摘要：我们利用重扩张的思想，研究了用一组公理来加强给定（部分）（非确定性）矩阵逻辑的一般问题。我们得到了两种表征方法：一种是非常通用但不是非常有效的方法，另一种是仅适用于给定语义和公理形状的特定限制的有效方法。我们表明，第二种方法涵盖了文献中的大量示例。最后，我们说明了如何获得结果逻辑的解析多结论计算。关于整个系列，请参见[Zbl 1470.03007号]. 引用于三文件 MSC公司： 03年XX月 数学逻辑和基础 65-XX岁 数值分析 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}和\textit{S.Marcelino}，Outst。控制日志。21、39——69（2021；Zbl 07451998） 全文： 内政部 arXiv公司 参考文献： [1] Marcelino，S.和Caleiro，C.（2019年）。公理化非确定性多值广义结果关系。合成，。https://doi.org/10.1007/s11229-019-02142-8。 ·Zbl 1525.03086号 ·doi:10.1007/s11229-019-02142-8 [2] Arieli，O.和Avron，A.（1998年）。四个值的值。人工智能，102（1），97-141·Zbl 0928.03025号 ·doi:10.1016/S0004-3702（98）00032-0 [3] Avron，A.（2005a）。非确定性矩阵和规则的模块语义。J.-Y.Béziau（编辑），《普遍逻辑》（第149-167页）。Birkhä用户·Zbl 1081.03011号 [4] Avron，A.（2005年b）。关于非经典否定的非确定性观点。《逻辑研究》，80（2-3），159-194·Zbl 1086.03023号 [5] Avron，A.（2007）。带有一致性运算符的逻辑的非确定性语义。《国际近似推理杂志》，45（2），271-287·Zbl 1122.03026号 ·doi:10.1016/j.ijar.2006.06.011 [6] Avron，A.、Ben-Naim，J.和Konikowska，B.（2007年）。具有广义有限值语义的逻辑的无割普通序列计算。Logica Universalis，1（1），41-70·Zbl 1118.03049号 ·doi:10.1007/s11787-006-0003-6 [7] Avron，A.、Konikowska，B.和Zamansky，A.（2012年）。准一致逻辑的无割序列演算的模块化构造。第27届IEEE计算机科学逻辑研讨会论文集（LICS 2012）（第85-94页）·Zbl 1364.03043号 [8] Avron，A.、Konikowska，B.和Zamansky，A.（2013）。具有广义有限值语义的C系统的无割序列计算。《逻辑与计算杂志》，23（3），517-540·Zbl 1267.03032号 ·doi:10.1093/log.com/exs039 [9] Avron，A.和Lev，I.（2005年）。非确定性多值结构。逻辑与计算杂志，15（3），241-261·Zbl 1070.03010号 ·doi:10.1093/log.com/exi001 [10] Avron，A.和Zamansky，A.（2011年）。逻辑系统的非确定性语义：综述。D.Gabbay和F.Guenthner（编辑），《哲学逻辑手册》（第16卷，第227-304页）。斯普林格。 [11] Avron，A.和Zohar，Y.（2019年）。非确定性矩阵的重展开及其在非经典逻辑中的应用。符号逻辑综述，12（1），173-200·Zbl 1532.03035号 ·doi:10.1017/S1755020318000321 [12] Baaz，M.、Lahav，O.和Zamansky，A.（2013年）。规范标记计算的有限值语义。《自动推理杂志》，51（4），401-430·Zbl 1314.03016号 ·doi:10.1007/s10817-013-9273-x [13] Batens，D.（1980）。次一致扩张命题逻辑。《逻辑与分析》，23（90-91），195-234·兹比尔0459.03013 [14] Batens，D.（2000）。非一致性自适应逻辑综述。《次协调逻辑的前沿》（第49-73页）。研究出版社·Zbl 0993.03030号 [15] 北卡罗来纳州贝尔纳普（1977a）。计算机应该如何思考。G.Ryle（编辑），《当代哲学》（第2卷，第30-55页），《认识论》。Oriel出版社。 [16] 北卡罗来纳州贝尔纳普（1977b）。有用的四值逻辑。G.Epstein和J.M.Dunn（编辑），《多值逻辑的现代应用》（第2卷，第5-37页），认识论。凸窗印刷机·Zbl 0417.03009号 [17] Caleiro，C.、Carnielli，W.、Rasga，J.和Sernadas，C.（2005）。逻辑纤维化是一种通用结构。D.Gabbay和F.Guenthner（编辑），《哲学逻辑手册》（第二版，第13卷，第123-187页）。斯普林格。 [18] Caleiro，C.和Marcelino，S.（2019年）。一元PN矩阵的分析计算。逻辑、语言、信息和计算（WoLLIC 2019），LNCS。斯普林格。http://sqig.math.ist.utl.pt/pub/CaleiroC/19-CM-axiomPNmatrices.pdf。 ·Zbl 1530.03101号 [19] Caleiro，C.、Marcelino，S.和Marcos，J.（2019年）。结合经典逻辑片段：什么时候需要交互原则？软计算，23（7），2213-2231·Zbl 1418.03133号 ·doi:10.1007/s00500-018-3584-0 [20] Caleiro，C.、Marcos，J.和Volpe，M.（2015）。有限值逻辑的二价语义、广义组合性和分析类经典表。理论计算机科学，60384-110·Zbl 1331.03024号 ·doi:10.1016/j.tcs.2015.07.016 [21] Carnielli，W.和Coniglio，M.（2016）。次一致逻辑：一致性、矛盾性和否定性。《逻辑、认识论和科学的统一》（第40卷）。斯普林格·Zbl 1355.03001号 [22] Carnielli，W.和Marcos，J.（1999）。非一致性计算的极限。《圣母院形式逻辑期刊》，40375-390·Zbl 1007.03028号 ·doi:10.1305/ndjfl/1022615617 [23] Carnielli，W.和Marcos，J.（2002）。C系统的分类。W.Carnielli，M.Coniglio，&I.D’Ottaviano（编辑），Paraconsistence:The Logical Way to The Inconsistent（第228卷，第1-94页），《纯粹数学和应用数学课堂讲稿》。马塞尔·德克尔·Zbl 1036.03022号 [24] Ciabattoni，A.、Lahav，O.、Spendier，L.和Zamansky，A.（2014）。驯服准一致（和其他）逻辑：一种算法方法。ACM计算逻辑汇刊，16（1），5:1-5:23·Zbl 1354.03082号 [25] Coniglio，M.和Golzio，A.（2019年）。类Ivlev模态逻辑的交换结构语义。软计算，23（7），2243-2254·Zbl 1418.03073号 ·doi:10.1007/s00500-018-03707-4 [26] 哥德尔，K.（1932）。祖姆直觉主义。《Mathematisch-naturwissenschaftliche klasse》（第69卷，第65-66页）。安泽格·维恩（Anzeiger Wien）：Akademie der Wissenschaften。 [27] Gottwald，S.（2001）。多值逻辑论文（第9卷），逻辑与计算研究。研究出版社·Zbl 1048.03002号 [28] Ivlev，J.（1988）。模态计算的语义。逻辑部分公报，17（3-4），114-121·Zbl 0721.03009号 [29] Kearns，J.（1981）。没有可能世界的模态语义。符号逻辑杂志，46（1），77-86·Zbl 0479.03011号 ·doi:10.2307/2273259 [30] Kracht，M.（1998）。关于中间逻辑的强否定扩张。哲学逻辑杂志，27，49-73·Zbl 0929.03035号 ·doi:10.1023/A：1004222213212 [31] Marcelino，S.和Caleiro，C.（2016）。没有共享连接词的虚逻辑的可判定性和复杂性。IGPL逻辑杂志，24（5），673-707·Zbl 1405.03032号 ·doi:10.1093/jigpal/jzw033 [32] Marcelino，S.和Caleiro，C.（2017年）。非确定性矩阵的不相交纤维化。R.de Queiroz&J.Kennedy（编辑），《逻辑、语言、信息和计算》（WoLLIC 2017）（第10388卷，第242-255页），LNCS。斯普林格·兹比尔1496.03118 [33] Nelson，D.（1948年）。有建设性的虚假。符号逻辑杂志，14，247-257·Zbl 0033.24304号 [34] Odintsov，S.（2008）。建构性否定与超一致性（第26卷），逻辑趋势。荷兰：斯普林格·Zbl 1161.03014号 [35] Scott，D.（1974年）。多值逻辑中的完备性和公理化。L.Henkin，J.Addison，C.Chang，W.Craig，D.Scott，&R.Vaught（编辑），《塔斯基研讨会论文集》（第二十五卷，第411-435页），《纯粹数学研讨会论文集。美国数学学会·Zbl 0318.02021号 [36] Shoesmith，D.和Smiley，T.（1978年）。多结论逻辑。剑桥：剑桥大学出版社·Zbl 0381.03001号 ·doi:10.1017/CBO9780511565687 [37] Vakarelov，D.（1977年）。关于N格和带强否定的构造逻辑的注记。《逻辑研究：符号逻辑国际期刊》，36（1/2），109-125·Zbl 0385.03055号 ·doi:10.1007/BF02121118 [38] Wójcicki，R.（1998）。逻辑演算理论（第199卷），综合图书馆。克鲁沃·Zbl 0682.03001号 [39] 兰斯基（1974）。关于矩阵的基数对直觉命题逻辑来说是非常充分的。数理逻辑报告，3，67-72·Zbl 0342.02011号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。