×
安蒂·瓦尔马里;你好，劳里

具有未定义真值的正则谓词逻辑的完整性证明。 （英语） 兹比尔1522.03063

圣母院J.形式逻辑 64，第1号，61-93（2023）.
作者为的扩展开发了语义S.C.克莱恩的三值逻辑（参见[J.Symb.Log.3150–155（1938；Zbl 0020.33803号;JFM 64.0932.03号); 元数学导论。阿姆斯特丹：North-Holland Publishing Co。；格罗宁根：P.Noordhoff N.V.（1952；Zbl 0047.00703号)])一阶谓词语言。他们证明了稳健性和完备性定理，然后是一个很好的动机。完整性证明基于传统L.亨金的结构[J.Symb.Log.14159-166（1949；Zbl 0034.00602号)]. 这种方法似乎可以应用于其他许多三值逻辑。
审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德）

理学硕士：

03B50号 多值逻辑

关键词：

完整性;部分函数;谓词逻辑;未定义真值;克莱恩三值逻辑

引文：

兹比尔0020.33803;Zbl 0047.00703号;Zbl 0034.00602号;JFM 64.0932.03号

软件：

Z轴
PDF格式BibTeX公司 XML格式引用
\textit{A.Valmari}和\textit{L.Hella}，圣母院J.形式逻辑64，No.1，61-93（2023；Zbl 1522.03063）
全文： 内政部 arXiv公司

参考文献：

[1] Andréka、H.、W.Craig和I.Németi，“依赖于存在的Kleene等式下部分函数的逻辑系统，”J.符号逻辑第53卷（1988年），第834-9页·Zbl 0663.08004号 ·doi:10.2307/2274574
[2] Barringer，H.、J.H.Cheng和C.B.Jones，“程序证明中涵盖不确定性的逻辑”Acta Inform公司。第21卷（1984年），第251-69页·Zbl 0534.68024号 ·doi:10.1007/BF00264250
[3] Berezin，S.、C.Barrett、I.Shikanian、M.Chechik、A.Gurfinkel和D.L.Dill，“CVC Lite中部分函数的实用方法”，第13-23页争议研讨会和第二届决策程序实用性国际研讨会论文选集，2004年，爱尔兰科克阿姆斯特丹：爱思唯尔出版社，2005年·Zbl 1272.03136号
[4] Chalin，P.，“程序断言的逻辑基础：从业者想要什么？”，第383-93页第三届IEEE软件工程和形式化方法国际会议，德国科布伦茨，2005年IEEE计算机学会，2005年。
[5] Darvas，A.、F.Mehta和A.Rudich，“高效精细度检查”，第100-15页自动推理。2008年第四届国际联合会议，澳大利亚悉尼，2008年会议记录柏林：施普林格出版社，2008年·Zbl 1165.68404号
[6] de Nivelle，H.，“通过归约到Kleene逻辑，用部分函数证明经典逻辑的定理”J.逻辑计算。，第27卷（2017），509-48·Zbl 1444.03014号 ·doi:10.1093/log.com/exu071
[7] 达菲博士。，定理自动证明原理奇切斯特威利出版社，1991年·Zbl 0742.68001号
[8] Farmer，W.M.和J.D.Guttman，“支持部分函数的集合理论”Studia Logica公司，第66卷（2000年），第59-78页·兹伯利0966.03050 ·doi:10.1023/A:1026744827863
[9] Gavilanes-Franco，A.和F.Lucio-Carrasco，“部分函数的一阶逻辑”理论。计算。科学。第74卷（1990年），第37-69页·Zbl 0707.03021号 ·doi:10.1016/0304-3975（90）90005-3
[10] Gries，D.和F.B.Schneider，“通过不规范避免未定义”，第366-73页今日计算机科学，第1000卷，共页计算机课堂讲稿。科学。柏林施普林格出版社，1995年·邮编：0875.00060 ·doi:10.1007/BFb0015254
[11] 海因，J.L。，离散结构、逻辑和可计算性《琼斯和巴特利特出版社》，波士顿，1995年·Zbl 0879.03001号
[12] Henkin，L.，“一阶泛函演算的完备性”J.符号逻辑，第14卷（1949年），第159-66页·Zbl 0034.00602号 ·doi:10.2307/2267044
[13] Jones，C.B.和C.A.Middelburg，“部分函数的类型化逻辑经经典重建”Acta Inform公司。第31卷（1994年），第399-430页·Zbl 0804.03018号 ·doi:10.1007/BF01178666
[14] 南卡罗来纳州克莱恩。，元数学导论，D.Van Nostrand Co.，纽约，1952年·Zbl 0047.00703号
[15] Lehmann，S.，“严格的Fregean自由逻辑”J.菲洛斯。逻辑第23卷（1994年），307-36·Zbl 0806.03004号 ·doi:10.1007/BF01048484
[16] Lehmann，S.，“无输入，无输出”逻辑，第147-55页自由逻辑新论文。为纪念卡雷尔·兰伯特，Kluwer学术出版社，多德雷赫特，2001年·Zbl 1012.03504号
[17] Łukasiewicz，J.，“哲学Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls，”C.R.社会科学。瓦尔索维，第三条第23卷（1931年），第51-77页。
[18] McCarthy，J.，“以“未定义”作为真值的谓词演算”，《技术报告》，斯坦福人工智能项目备忘录11963年。
[19] Negri，M.，“Kleene三值逻辑的代数完备性证明”波尔。Unione Mat.意大利语。塞兹。B艺术。里奇。材料（8）第5卷（2002年），第447-67页·Zbl 1096.03021号
[20] Nolt，J.，《自由逻辑》，in斯坦福大学哲学百科全书斯坦福大学形而上学研究实验室，2020年冬季版，2020年，https://plato.stanford.edu/entries/logic-free/。 ·Zbl 0731.03017号
[21] Papadimitriou，C.H。，计算复杂性，Addison-Wesley出版公司，雷丁，马萨诸塞州，1994年·Zbl 0833.68049号
[22] Parnas，D.L.，“软件工程的谓词逻辑”IEEE传输。软件工程师。第19卷（1993年），第856-62页。
[23] Pavlović，E.和N.Gratzl，“自由逻辑的更统一方法”J.菲洛斯。逻辑第50卷（2021年），117-48·Zbl 07345779号 ·doi:10.1007/s10992-020-09564-7
[24] Petrukhin，Y.，“三值正则逻辑的自然演绎”日志。日志。菲洛斯。第26卷（2017），197-206·Zbl 1417.03181号 ·doi:10.12775/llp.2016.025
[25] Schieder，B.和M.Broy，“使计算逻辑适应未定义，”计算。J。第42卷（1999），73-81·Zbl 0941.03031号
[26] 斯皮维，J.M。，Z符号。参考手册，普伦蒂斯·霍尔，纽约，1989年·Zbl 0777.68003号
[27] Valmari，A.，“方程组和绝对值运算符情况下灵活数学推理的自动检查”，第324-31页第十三届计算机支持教育国际会议记录，CSEDU 2021，第2卷，SciTePress，葡萄牙塞图巴尔，2021
[28] Valmari，A.和L.Hella，“高中教授和使用的逻辑不一样”，第172-86页第四届俄罗斯-芬兰离散数学研讨会论文集，第26卷，共页TUCS演讲笔记芬兰图尔库，2017年·Zbl 1280.68149号 ·doi:10.1016/j.tcs.2012.03.010
[29] Valmari，A.和J.Rantala，“算术、逻辑、语法和数学检查”，第292-9页第十一届计算机支持教育国际会议记录，2019年CSEDU，希腊克里特岛赫拉克利翁，2019月2日至4日，第2卷。，科学技术出版社，葡萄牙塞图巴尔，2019年。
[30] Wintein，S.，“关于经典逻辑的所有强Kleene推广”Studia Logica公司，第104卷（2016），503-45·Zbl 1417.03197号 ·doi:10.1007/s11225-015-9649-5
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。