scientific article; zbMATH DE number 777292
From MaRDI portal
zbMath0821.03013MaRDI QIDQ4840168
Christian G. Fermüller, Richard Zach, Matthias Baaz
Publication date: 20 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesscut-eliminationsequent calculidistribution quantifiersanalogue of Herbrand's theoremfinite-valued first-order logicsfour-valued knowledge-representation logicreasoning about knowledge bases with incomplete and inconsistent information
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)
Related Items
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, Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC, Representations of structural closure operators, Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation, The power of Belnap: sequent systems for \(SIXTEEN_{3 }\), MUltlog 1.0: Towards an expert system for many-valued logics, Hypersequent and display calculi -- a unified perspective, On partial and paraconsistent logics, Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination, Non-deterministic semantics for logics with a consistency operator, CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI, Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\), Cut-elimination and quantification in canonical systems