scientific article; zbMATH DE number 2042613
From MaRDI portal
Publication:4450442
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 (10)
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
This page was built for publication:
