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

DOI10.1007/S11787-015-0130-ZzbMATH Open1373.03026OpenAlexW2144197173MaRDI QIDQ895828FDOQ895828

Authors: 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

Recommendations

• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• On Łukasiewicz's four-valued modal logic
• Four-valued modal logic: Kripke semantics and duality
• A new four-valued approach to modal logic
• On axiomatization of Łukasiewicz's four-valued modal logic

zbMATH Keywords

many-valued logicsmodal logicsparaconsistent logics4-valued modal logicsBelnap-Dunn type semanticsparacomplete logicsŁukasiewicz 4-valued modal logic

Mathematics Subject Classification ID

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

Cites Work

• On Łukasiewicz's four-valued modal logic
• An interpretation of Łukasiewicz's 4-valued modal logic
• On axiomatization of Łukasiewicz's four-valued modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Semantics of First Degree Entailment
• Introduction to mathematical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics of formal inconsistency
• Intuitive semantics for first-degree entailments and `coupled trees'
• Title not available (Why is that?)
• Partiality and its dual
• Title not available (Why is that?)
• Handbook of philosophical logic. Vol. 6
• Title not available (Why is that?)
• The basic constructive logic for a weak sense of consistency
• Begründung einer strengen Implikation
• Syntactical and semantical characterization of a class of paraconsistent logics
• How a Computer Should Think
• Title not available (Why is that?)
• Paraconsitent logics obtained by J.-Y. Béziau's method by means of some non-normal modal logics
• A lattice of implicative extensions of regular Kleene's logics
• Proof systems combining classical and paraconsistent negations
• Finitely many-valued paraconsistent systems
• Jaśkowski's criterion and three-valued paraconsistent logics
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions

Cited In (16)

• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• On Łukasiewicz's four-valued modal logic
• An interpretation of Łukasiewicz's 4-valued modal logic
• Correspondence analysis and automated proof-searching for first degree entailment
• Title not available (Why is that?)
• On Ivlev's semantics for modality
• A simple axiomatization of Łukasiewicz's modal logic
• Society semantics for four-valued Łukasiewicz logic
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• A new four-valued approach to modal logic
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• 40 years of FDE: an introductory overview
• “Reductio ad absurdum” and Łukasiewicz’s modalities
• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
• Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895828)