巴里·哈特利·斯莱特 协调自然扣除。 （英语） Zbl 1183.03006号 合成 163，第2期，187-198（2008）. 小结：普拉维茨证明了一个定理，将自然演绎系统中的“和谐”形式化，这表明，与任何演绎相对应，都有一个具有相同效果的演绎，但其中没有公式出现，这既是应用引入规则的结果，也是应用相关消元规则的主要前提。由于Gentzen对规则进行了排序，因此经典逻辑中的某些规则必须被排除在外，但如果我们将适当的规则视为矛盾规则，那么我们可以将该定理扩展到经典情况。在经典规则中，适当的安排有一个彻底的“和谐”。事实上，正如我们将看到的那样，它们在总体上比通常所观察到的要“和谐”得多。正如本文将要说明的，不和谐的出现只是因为经典逻辑的自然演绎规则的提出方式不合逻辑。 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 05年3月 切割消除和正规形定理 关键词：自然扣除；和谐；关联；ε演算 PDF格式BibTeX公司 XML格式引用 \textit{B.H.Slater}，Synthese 163，No.2，187--198（2008；Zbl 1183.03006） 全文： 内政部 链接 参考文献： [1] Beziau J.-Y.（2005）。从模态的观点看超协调逻辑。应用逻辑期刊3:7-14·Zbl 1063.03011号 ·doi:10.1016/j.jal.2004.07.009 [2] Dummett M.（1991）。形而上学的逻辑基础。马萨诸塞州剑桥：哈佛大学出版社 [3] Hazen A.（1987）。自然演绎和希尔伯特ε算子。哲学逻辑杂志16:411-421·doi:10.1007/BF00431186 [4] Leisenring A.C.（1969年）。数理逻辑和希尔伯特的ε符号。伦敦，麦当劳·兹比尔0188.31501 [5] Meyer-Viol W.P.M.（1995）。瞬时逻辑。阿姆斯特丹，伊利诺伊州 [6] Milne P.（2002）。和谐、纯洁、简约和“看似神奇的事实”。《一元论》85:498–535 [7] 《造币厂通用电气》（1982）。带ε符号的Heyting谓词演算。苏联数学杂志8:317–323·Zbl 0404.03045号 ·doi:10.1007/BF01091551 [8] Prawitz D.（1965）。自然扣除。斯德哥尔摩、Almqvist和Wiksell·Zbl 0173.00205号 [9] 阅读S.（1988）。相关性逻辑。牛津，布莱克威尔 [10] 阅读S.（2000）。古典逻辑中的和谐与自主。哲学逻辑杂志29:123–154·Zbl 0947.03008号 ·doi:10.1023/A:1004787622057 [11] Wessels L.（1977）。无恒等式Gentzen-styleε演算中的截消。Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 23:527–538·Zbl 0381.03042号 ·doi:10.1002/malq.19770233606 [12] Wessels L.（1978年）。希尔伯特ε符号的无割序列演算。符号逻辑杂志43:525–536 [13] Yasuhara M.（1982）。ε结石中的切口消除。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik数学研究28:311–316·兹伯利0548.03033 ·doi:10.1002/malq.19820282004 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。