一、多值邏輯概述

西方邏輯的發(fā)展從一開始其主流觀點一直是：任何命題都有而且只有真假二值，即所謂“二值律”。但是“二值律”與“排中律”歷史上很早就受到質(zhì)疑。

參考文獻

[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格式閱讀原文。”