Publication:4840168
From MaRDI portal
zbMath0821.03013MaRDI QIDQ4840168
Christian G. Fermüller, Richard Zach, Matthias Baaz
Publication date: 20 July 1995
completeness; cut-elimination; sequent calculi; distribution quantifiers; analogue of Herbrand's theorem; finite-valued first-order logics; four-valued knowledge-representation logic; reasoning about knowledge bases with incomplete and inconsistent information
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
03F05: Cut-elimination and normal-form theorems
03B50: Many-valued logic
Related Items
MUltlog 1.0: Towards an expert system for many-valued logics, CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI, Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC, Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation, Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\), Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective), On Gentzen relations associated with finite-valued logics preserving degrees of truth, Canonical signed calculi with multi-ary quantifiers, Representations of structural closure operators, On partial and paraconsistent logics, Cut-elimination and quantification in canonical systems, Non-deterministic semantics for logics with a consistency operator, The power of Belnap: sequent systems for \(SIXTEEN_{3 }\), Hypersequent and display calculi -- a unified perspective, Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination