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

DOI10.1007/S10992-015-9362-XzbMATH Open1347.03047OpenAlexW2005521738MaRDI QIDQ263087FDOQ263087

Authors: José M. Méndez, Gemma Robles, Francisco Salto 

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

Recommendations

• On Łukasiewicz's four-valued modal logic
• scientific article; zbMATH DE number 1933131
• A new four-valued approach to modal logic
• On axiomatization of Łukasiewicz's four-valued modal logic
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes

zbMATH Keywords

4-valued logicsbivalent semanticsmany-valued logicsmodal logicsŁukasiewicz's 4-valued modal logic

Mathematics Subject Classification ID

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

Cites Work

• On Lukasiewicz's \(L\)-modal system
• On Łukasiewicz's four-valued modal logic
• On axiomatization of Łukasiewicz's four-valued modal logic
• Title not available (Why is that?)
• It isn't so, but could it be?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic semantics for modal logics I
• Title not available (Why is that?)
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• Title not available (Why is that?)
• Title not available (Why is that?)
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes

Cited In (12)

• On Łukasiewicz's four-valued modal logic
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
• On axiomatization of Łukasiewicz's four-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
• A new four-valued approach to modal logic
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
• Lukasiewicz's Many-valued Logic and Neoplatonic Scalar Modality

Uses Software

• MaTest

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

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