×
罗斯·托马斯·布雷迪

自由语义。 （英语） Zbl 1207.03029号

J.菲洛斯。日志。 39，第5期，511-529（2010）.
摘要：自由语义是基于弱相关逻辑DW及其近邻的归一化自然演绎。这是因为在确定真功能语义的有效性时，通常使用自然演绎。由于规范化，逻辑是可判定的，因此语义也可以用于构建无效公式的反模型。逻辑DW被认为是一种蕴涵逻辑，只是弱于意义包含的逻辑MC。数据仓库是重点关注的逻辑，但结果扩展到了MC。这种语义被称为“自由语义”，因为它是析取的和存在的自由，因为与真实功能语义不同，它不产生析取或存在的见证。这种“证人”只是一般性的假设，不一定是真实的。本文以真值函数的形式建立了自由语义，并对元逻辑连接词进行了自然演绎。然后，我们设置了一个熟悉的表格式系统，但它基于自然演绎证明，而不是真实功能语义。给出了一个约简系统的稳健性和完备性证明，它是表系统的变换。约简系统具有正负规则，代替了布雷迪的归一化自然演绎系统的DW消元和引入规则。消除引入转折点成为证明线索的闭包，这是还原系统的矛盾点。

引用于5文件

MSC公司：

03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）

关键词：

相关逻辑；归一化自然演绎；衍推逻辑；tableau系统；还原系统
PDF格式BibTeX公司 XML格式引用
\textit{R.T.Brady}，J.Philos。日志。39，第5号，511--529（2010；Zbl 1207.03029）
全文： 内政部

参考文献：

[1] Brady，R.T.（1984）。一些次协调逻辑的深度相关性。Studia Logica，43岁，63–73岁·Zbl 0581.03014号 ·doi:10.1007/BF00935740
[2] Brady，R.T.（1996）。没有分布的相关逻辑的Gentzenization–I和–II。符号逻辑杂志，61，353–378，379–401·Zbl 0862.03012号 ·doi:10.2307/2275666
[3] Brady，R.T.（2000年b）。蕴涵、否定和悖论解决。在D.Batens、C.Mortensen、G.Priest和J.-P.van Bendegem（编辑）《次协调逻辑的前沿》（第113-135页）中。巴尔多克：研究·Zbl 0993.03031号
[4] Brady，R.T.（2003年a）。《相关逻辑学及其竞争对手》，第2卷：理查德·西尔文、罗伯特·梅耶、瓦尔·普卢姆伍德和罗斯·布雷迪（同编）作品的续集，阿什盖特，奥尔德肖特·Zbl 1044.03014号
[5] Brady，R.T.（2003b）。一些相关逻辑的语义决策过程。《澳大拉西亚逻辑杂志》，1，4–27·Zbl 1044.03014号
[6] Brady，R.T.（2003–4）。一些相关逻辑的规范化自然演绎系统——II：其他逻辑和演绎。2003年在阿德莱德大学和2004年在奥塔哥大学分别向澳大利亚逻辑协会（Australasian Association for Logic）会议提交了部分内容。
[7] Brady，R.T.（2002–5）。一些相关逻辑的规范化自然演绎系统–III：模态逻辑和量化逻辑。部分提交给2002年A.N.U.澳大利亚逻辑协会会议和2005年蒙特勒世界通用逻辑大会。
[8] Brady，R.T.（2006年a）。Universal Logic，CSLI Publications，斯坦福大学·Zbl 1234.03010号
[9] Brady，R.T.（2006年b）。一些相关逻辑的规范化自然演绎系统I：逻辑DW。符号逻辑杂志，71，35-66·Zbl 1103.03022号 ·doi:10.2178/jsl/1140641162
[10] Brady，R.T.&Meinander，A.（2008）意义包含逻辑和量子力学中的分布。提交给奥克兰大学的澳大利亚逻辑协会会议和墨尔本大学的第四届准一致性世界大会·Zbl 1261.03023号
[11] Fine，K.（1974年）。包含的模型。《哲学逻辑杂志》，3347-372·Zbl 0296.02013.中 ·doi:10.1007/BF00257480
[12] Meyer，R.K.和Routey，R.（1977）。外延还原I.莫尼斯特，60355-369。
[13] Routey，R.、Meyer，R.K.、Plumwood，V.和Brady，R.T.（1982）《相关逻辑及其竞争对手》，第1卷，里奇维尤。
[14] Schroeder-Heister，P.（1991）。逻辑常数的统一证明理论语义（抽象）。符号逻辑杂志，561142·Zbl 0778.03017号
[15] Schroeder-Heister，P.（2006）。证明理论语义学中的有效性概念。合成，148525–571·Zbl 1101.03036号 ·doi:10.1007/s11229-004-6296-1
[16] 斯莱尼，J.K.（1984）。无收缩相关逻辑的亚完备定理。Studia Logica，第43页，第159-168页·Zbl 0576.03014号 ·doi:10.1007/BF00935747
[17] 斯莱尼，J.K.（1987）。没有WI的相关逻辑的简化模型。《圣母院形式逻辑杂志》，28395-407·doi:10.1305/ndjfl/1093637560
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。