scientific article; zbMATH DE number 2042613
From MaRDI portal
zbMath1046.03011MaRDI QIDQ4450442
Publication date: 15 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Abstract deductive systems (03B22)
Related Items
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics, Two-sided sequent calculi for \textit{FDE}-like four-valued logics, Notes on models of (partial) Kripke-Feferman truth, Unnamed Item, Strict-choice validities: A note on a familiar pluralism, Kripke Semantics for Basic Sequent Systems, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, Rough sets and 3-valued logics, Exactly true and non-falsity logics meeting infectious ones, Three-Valued Logic for Reasoning about Covering-Based Rough Sets
