scientific article; zbMATH DE number 2042613
From MaRDI portal
Publication:4450442
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Recommendations
Cited in
(16)- Rough sets and 3-valued logics
- Gentzen-type systems, resolution and tableaux
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics
- Notes on models of (partial) Kripke-Feferman truth
- Kripke Semantics for Basic Sequent Systems
- scientific article; zbMATH DE number 3878900 (Why is no real title available?)
- scientific article; zbMATH DE number 695097 (Why is no real title available?)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- Strict-choice validities: A note on a familiar pluralism
- Exactly true and non-falsity logics meeting infectious ones
- scientific article; zbMATH DE number 7455717 (Why is no real title available?)
- Three-valued logic for reasoning about covering-based rough sets
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Categoricity problem for LP and K3
- On retaining classical truths and classical deducibility in many-valued and fuzzy logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450442)
