On intuitionistic many-valued logics (Q1094408)

The authors present systems of many-valued logic which stand to classical many-valued logics such as Intuitionistic Logic stands to classical 2- valued propositional logic. The methods are essentially those of Gentzen, but with the notion of sequent generalized to matrices of sequences of formulas. Gentzen's sequents are thus 2-rowed matrices; M-rowed matrices are applicable to M-valued logics. The intuitionistic M-valued logics introduced here are formulated in terms of M-rowed matrices where the Mth row contains a single member. The systems are also characterized semantically and shown to be consistent and complete. A cut-elimination theorem is proved.