论文信息 - A 4-valued framework encompassing intuitionistic and classical logic - 字舞流文

A 4-valued framework encompassing intuitionistic and classical logic

A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities.

[1] Saul A. Kripke,et al. Semantical Analysis of Intuitionistic Logic I , 1965 .

[2] Christian G. Fermüller,et al. Combining Many-valued and Intuitionistic Tableaux , 1996, TABLEAUX.

[3] G. Rousseau. Sequents in many valued logic I , 1967 .

[4] Ryszard Wójcicki,et al. Theory of Logical Calculi , 1988 .

[5] James Dugundji. Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions , 1940, J. Symb. Log..

[6] Stephen Cole Kleene,et al. On notation for ordinal numbers , 1938, Journal of Symbolic Logic.

[7] Jean-Yves Béziau. A new four-valued approach to modal logic , 2011 .

[8] Ichiro Hasuo,et al. Kripke Completeness of First-Order Constructive Logics with Strong Negation , 2003, Log. J. IGPL.

[9] Eugenia Reznik,et al. Intuitionistic Sequent Calculi for Finitely Many-valued Logics , 2001, Log. J. IGPL.