An interpretation of Łukasiewicz's 4-valued modal logic

DOI10.1007/S10992-015-9362-XzbMath1347.03047OpenAlexW2005521738MaRDI QIDQ263087

F. Blanchet-Sadri, M. Dambrine

Publication date: 4 April 2016

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-015-9362-x

zbMATH Keywords

many-valued logicsmodal logics4-valued logicsbivalent semanticsŁukasiewicz's 4-valued modal logic

Mathematics Subject Classification ID

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

Related Items (5)

EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators

Uses Software

• MaTest

Cites Work

• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• On Lukasiewicz's \(L\)-modal system
• On Łukasiewicz's four-valued modal logic
• Algebraic semantics for modal logics I
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An interpretation of Łukasiewicz's 4-valued modal logic