淺析多值邏輯證明論
2007-01-01 00:00:00陳勇濤
求是學刊 2007年6期
一、多值邏輯概述
西方邏輯的發展從一開始其主流觀點一直是：任何命題都有而且只有真假二值，即所謂“二值律”。但是“二值律”與“排中律”歷史上很早就受到質疑。
參考文獻
[1]A. AVRON. Classical Gentzen-type Methods in Propositional Many-valued Logics[A]. Beyong Two: Theory and Applications of Multi-Valued Logic[C].Physica-Verlag， 2003.
[2]A. AVRON. The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics[J]. Logic: From Foundations to Applications， European Logic Colloquium， 1996.
[3]A.AVRON. Natural 3-Valued Logics Characterization and Proof Theory[J]. Symbolic Logic， 1991.
[4]M. BAAZ， A. CIABATTONI， C.G. FERMULLER. Hypersequent Calculi for G?觟del Logics——a Survay[J]. Logic and Computation， 2003，（6）.
“本文中所涉及到的圖表、公式注解等形式請以PDF格式閱讀原文。”
