scientific article; zbMATH DE number 777292

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.

zbMATH Keywords

completenesscut-eliminationsequent calculidistribution quantifiersanalogue of Herbrand's theoremfinite-valued first-order logicsfour-valued knowledge-representation logicreasoning about knowledge bases with incomplete and inconsistent information

Mathematics Subject Classification ID

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 (15)

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

This page was built for publication: