On axiomatization of Łukasiewicz's four-valued modal logic

zbMATH Open1261.03090MaRDI QIDQ3105690FDOQ3105690

Authors: Marcin Tkaczyk 

Publication date: 5 January 2012

Recommendations

• A simple axiomatization of Łukasiewicz's modal logic
• On Łukasiewicz's four-valued modal logic
• scientific article; zbMATH DE number 1054876
• A new four-valued approach to modal logic
• An interpretation of Łukasiewicz's 4-valued modal logic

zbMATH Keywords

axiomatizationŁukasiewicz's modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cited In (11)

• On Łukasiewicz's four-valued modal logic
• An interpretation of Łukasiewicz's 4-valued modal logic
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• Axiomatizing \(\mathrm {S4}_{+}\) and \(\mathrm J_{+}\) without the suffixing, prefixing and self-distribution of the conditional axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• A simple axiomatization of Łukasiewicz's modal logic
• A 4-valued framework encompassing intuitionistic and classical logic
• A new four-valued approach to modal logic
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic

This page was built for publication: On axiomatization of Łukasiewicz's four-valued modal logic

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