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

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)

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

Cites work

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

Cited in

(16)

• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• On Ivlev's semantics for modality
• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• Correspondence analysis and automated proof-searching for first degree entailment
• scientific article; zbMATH DE number 6316274 (Why is no real title available?)
• 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
• A simple axiomatization of Łukasiewicz's modal logic
• “Reductio ad absurdum” and Łukasiewicz’s modalities
• On Łukasiewicz's four-valued modal logic
• An interpretation of Łukasiewicz's 4-valued modal logic
• A new four-valued approach to modal logic
• Society semantics for four-valued Łukasiewicz logic
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• 40 years of FDE: an introductory overview
• 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)