Daniel Kozhemiachenko ETL和NFL的非分布亲属。 （英语） Zbl 07339953号 螺柱日志。 109，编号1，137-165（2021）. 摘要：在本文中，我们通过以下方法设计了精确真逻辑（ETL）的非分配关系A.皮特斯和U.里维乔[J.Philos.Log.42，No.1，125–135（2013；Zbl 1269.03027号)]及其双重非假逻辑（NFL）Y.Shramko先生等【Stud.Log.105，No.6，1291-1317（2017；Zbl 1417.03182号); J.菲洛斯。日志。48，第5期，787–808（2019年；兹比尔1457.03051)]. 我们考虑两个预阶，它们是德摩根格上ETL和NFL蕴涵关系的代数对应项4。我们概括了这些预序，并确定了哪些分配属性保持不变4不受任何预订单的强制。然后，我们构造ETL和NFL的亲属，但缺少这种分布属性。对于这些逻辑，我们还设计了一个使用非分配格的真值表语义立方米作为他们的真值格子。我们还提供了分析表系统，该系统使用形式为\（\phi\vdash\chi\）的序列。然后，我们证明了这些证明系统的正确性和完备性结果，并对建立在非分配模格族上的非分配类ETL和NFL逻辑给出了一个简洁的推广。 理学硕士： 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 03B50 多值逻辑 03B60号 其他非经典逻辑 关键词：完全正确的逻辑;非伪逻辑;非分配格;分析表;类ETL逻辑;类似NFL的逻辑 引文：Zbl 1269.03027号;Zbl 1417.03182号;Zbl 1457.03051号 软件：MUltlog公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozhemiachenko}，树桩日志。109，编号1，137--165（2021；Zbl 07339953） 全文： 内政部 arXiv公司 参考文献： [1] Baaz，M.、C.G.Fermüller和G.Salzer，多值逻辑的自动演绎，载于A.Robinson和A.Voronkov，（编辑），《自动推理手册》，第2卷，爱思唯尔科学公司，2001年，第1355-1402页·Zbl 0992.03015号 [2] Baaz，M。；Fermüller，CG；Salzer，G。；扎克·R。；马萨诸塞州麦克罗比；Slaney，JK，Multlog 1.0：走向多值逻辑专家系统，自动演绎Cade-13226-230（1996），柏林-海德堡：施普林格，柏林-海德堡·Zbl 1412.68204号 ·doi:10.1007/3-540-61511-384 [3] 北卡罗来纳州贝尔纳普，《有用的四值逻辑》，载于J.M.Dunn和G.Epstein（编辑），《多值逻辑的现代应用》，多德雷赫特，施普林格荷兰，1977年，第5-37页·Zbl 0424.03012号 [4] 北卡罗来纳州贝尔纳普，《计算机应该如何思考》，G.Ryle（编辑），《哲学的当代方面》，1977年，第30-55页。 [5] 比姆博，K。；Dunn，J.，《四值逻辑》，《圣母院形式逻辑杂志》，42，3，171-192（2001）·Zbl 1034.03021号 ·doi:10.1305/ndjfl/1063372199 [6] 卡莱罗，C。；马塞利诺，S。；Rivieccio，U.，《刻画有限值性，模糊集与系统》，345113-125（2018）·Zbl 1397.03026号 ·doi:10.1016/j.fss.2017.10.014 [7] Caleiro，C.和J.Marcos，《有限值逻辑的经典分析表》，摘自《逻辑、语言、信息和计算国际研讨会》，Springer，2009年，第268-280页·Zbl 1246.03045号 [8] 卡莱罗，C。；马科斯，J。；Volpe，M.，《有限值逻辑的二价语义、广义组合性和分析类经典表》，理论计算机科学，60384-110（2015）·Zbl 1331.03024号 ·doi:10.1016/j.tcs.2015.07.016 [9] 卡斯蒂格利奥尼，JL；Ertola-Biraben，RC，满足补格的模态算子，IGPL逻辑杂志，25，4，465-495（2017）·Zbl 1405.03049号 ·doi:10.1093/jigpal/jzx011 [10] D’Agostino，M.，《命题演算复杂性研究》（1990），牛津：牛津大学计算实验室，牛津 [11] d'Agostino，M.，tableaux是对真实数据的改进吗？，逻辑、语言和信息杂志，1，3，235-252（1992）·Zbl 0793.03059号 ·doi:10.1007/BF00156916 [12] 达戈斯蒂诺，M。；Mondadori，M.，《伤口的驯化》。分析切割的经典反驳，《逻辑与计算杂志》，4，3，285-319（1994）·Zbl 0806.03037号 ·doi:10.1093/logcom/4.3.285 [13] Dunn，JM，一级蕴涵和“耦合树”的直觉语义学，哲学研究：分析传统中的哲学国际期刊，29，3，149-168（1976）·Zbl 1435.03043号 ·doi:10.1007/BF00373152 [14] Dunn，JM，《偏好及其对偶》，Studia Logica，66，1，5-40（2000）·Zbl 0988.03012号 ·doi:10.1023/A:1026740726955 [15] Engesser，K.、D.M.Gabbay和D.Lehmann（编辑），《量子逻辑和量子结构手册》。爱思唯尔，第1版，2009年·Zbl 1184.81003号 [16] Font，JM，Belnap的四值逻辑和De Morgan格，IGPL的逻辑杂志，5，1-29（1997）·Zbl 0871.03012号 ·doi:10.1093/jigpal/5.3.1-e文件 [17] Font，J.M.和R.Jansana，句子逻辑的通用代数语义。符号逻辑协会，第二版，2009年·Zbl 0865.03054号 [18] Hähnle，R.，《从演绎到整数编程的新翻译》，载于《人工智能和符号数学计算国际会议》，施普林格出版社，1992年，第262-275页·Zbl 0925.03118号 [19] Hähnle，R.，多值逻辑和混合整数规划，《数学和人工智能年鉴》，12，3-4，231-263（1994）·Zbl 0856.03011号 ·doi:10.1007/BF01530787 [20] Hähnle，R.，《多值逻辑的表aux》，载于M.D’Agostino，D.M.Gabbay，R.Hänhle和J.Posegga（编辑），《表aux方法手册》，Springer-Science+Business Media，B.V.，1999年，第529-580页·Zbl 0972.03531号 [21] Hartonas，C.，非分配命题逻辑的模态和时间扩展，IGPL逻辑杂志，24，2，156-185（2015）·Zbl 1405.03051号 ·doi:10.1093/jigpal/jzv051 [22] Kubyshkina，E.，模态逻辑中四值逻辑的保守翻译，Synthese，2019年2月。 [23] Marcelino，S.和C.Caleiro，公理化非确定性多值广义结果关系，综合，2019年2月。 [24] 蒙达多里，M.，《经典分析演绎》。费拉拉大学，1988年。 [25] Neto，A.和M.Finger，《形式不一致逻辑的KE表格》，载于《表格汇编》，第7卷，2007年。 [26] Odintsov，SP；Wansing，H.，Disentangling基于FDE的准一致模态逻辑，Studia Logica，105，6，1221-1254（2017）·兹比尔1417.03160 ·doi:10.1007/s11225-017-9753-9 [27] Omori，H。；Wansing，H.，《FDE 40年：导论》，Studia Logica，105，6，1021-1049（2017）·Zbl 1417.03027号 ·doi:10.1007/s11225-017-9748-6 [28] Pietz，A。；里维奇奥（Rivieccio），美国，《只有真理》（Nothing but the truth），《哲学逻辑杂志》（Journal of Philosophical Logic），42，1，125-135（2013）·Zbl 1269.03027号 ·doi:10.1007/s10992-011-9215-1 [29] G.牧师，《悖论的逻辑》，《哲学逻辑杂志》，第8、1、219-241页（1979年）·Zbl 0402.03012号 ·doi:10.1007/BF00258428 [30] Priest，G.，《非经典逻辑导论》。《从如果到是》，剑桥大学出版社，2008年第2版·Zbl 1148.03002号 [31] Priest，G.，《多值模态逻辑：一种简单方法》，《符号逻辑评论》，第1、2、190-203页（2008）·Zbl 1206.03022号 ·doi:10.1017/S1755020308080179 [32] Salzer，G。；马萨诸塞州麦克罗比；斯莱尼，JK，基于半格的多值算子和量词的最优公理化，自动演绎Cade-13688-702（1996），柏林-海德堡：斯普林格·Zbl 1415.03030号 ·doi:10.1007/3-540-61511-3_122 [33] Shramko，Y。；扎伊采夫，D。；Belikov，A.，第一学位授予及其亲属，Studia Logica，105，6，1291-1317（2017）·Zbl 1417.03182号 ·doi:10.1007/s11225-017-9747-7 [34] Shramko，Y.、D.Zaitsev和A.Belikov，《精确真逻辑和非伪逻辑的Fmla-Fmla公理化及其堂兄弟》，《哲学逻辑杂志》，2018年11月·Zbl 1457.03051号 [35] Smullyan，RM，一阶逻辑（1995），纽约：多佛出版公司，纽约。 [36] Wintein，S。；马斯肯斯（Muskens，R.），《真理之外的绅士微积分》，《哲学逻辑杂志》，第45、4、451-465页（2016年）·Zbl 1392.03032号 ·doi:10.1007/s109922-015-9385-3 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。