A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes

DOI10.1007/S11787-015-0130-ZzbMath1373.03026OpenAlexW2144197173MaRDI QIDQ895828

N. E. Zubov

Publication date: 7 December 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-015-0130-z

zbMATH Keywords

many-valued logicsmodal logicsparaconsistent logics4-valued modal logicsBelnap-Dunn type semanticsŁukasiewicz 4-valued modal logicparacomplete logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (6)

Correspondence analysis and automated proof-searching for first degree entailment ⋮ 40 years of FDE: an introductory overview ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi ⋮ An interpretation of Łukasiewicz's 4-valued modal logic

Cites Work

• An interpretation of Łukasiewicz's 4-valued modal logic
• The basic constructive logic for a weak sense of consistency
• Proof systems combining classical and paraconsistent negations
• On Łukasiewicz's four-valued modal logic
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Finitely many-valued paraconsistent systems
• Jaśkowski's criterion and three-valued paraconsistent logics
• Begründung einer strengen Implikation
• How a Computer Should Think
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• Logics of Formal Inconsistency
• The Semantics of First Degree Entailment
• A Lattice of Implicative Extensions of Regular Kleene's Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes