scientific article

zbMath0788.03029MaRDI QIDQ3142560

Christian G. Fermüller, Matthias Baaz, Richard Zach

Publication date: 9 January 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculitableau systemsfinite-valued logicdual proof systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (14)

De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) ⋮ On all strong Kleene generalizations of classical logic ⋮ Analytic tableaux for non-deterministic semantics ⋮ Canonical signed calculi with multi-ary quantifiers ⋮ Non-transitive correspondence analysis ⋮ 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 ⋮ Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination ⋮ A mechanization of strong Kleene logic for partial functions ⋮ Calculi for many-valued logics ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI

This page was built for publication: