Publication:3142560
From MaRDI portal
zbMath0788.03029MaRDI QIDQ3142560
Christian G. Fermüller, Matthias Baaz, Richard Zach
Publication date: 9 January 1994
03B35: Mechanization of proofs and logical operations
03F05: Cut-elimination and normal-form theorems
03B50: Many-valued logic
Related Items
Combining many-valued and intuitionistic tableaux, MUltlog 1.0: Towards an expert system for many-valued logics, Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices, Normalisation for Some Quite Interesting Many-Valued Logics, CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI, A mechanization of strong Kleene logic for partial functions, Non-transitive correspondence analysis, Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective), On all strong Kleene generalizations of classical logic, Canonical signed calculi with multi-ary quantifiers, De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics, Calculi for many-valued logics, Analytic tableaux for non-deterministic semantics, Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination