Jaśkowski's criterion and three-valued paraconsistent logics

DOI10.12775/LLP.1999.006zbMath1001.03029OpenAlexW2045666507MaRDI QIDQ3149169

No author found.

Publication date: 24 September 2002

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.1999.006

zbMATH Keywords

three-valued logicparaconsistent logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (15)

К вопросу о критерии паранепротиворечивости логик ⋮ О критерии паранормальности для $n$-значных логических матриц ⋮ Many-valuedness from a universal logic perspective ⋮ Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Paraconsistency and Sette’s calculus P1 ⋮ A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ On the Methodology of Paraconsistent Logic ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory ⋮ A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

This page was built for publication: Jaśkowski's criterion and three-valued paraconsistent logics