On Łukasiewicz's four-valued modal logic

DOI10.1023/A:1015111314455zbMath0998.03022OpenAlexW1542734653MaRDI QIDQ1604790

Petr Hájek, Josep Maria Font

Publication date: 8 July 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015111314455

zbMATH Keywords

intensional logicdiscrete epistemic algebrasfaithful translationsŁukasiewicz's four-valued modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (15)

EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ 40 years of FDE: an introductory overview ⋮ Four-valued paradefinite logics ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Replacement in logic ⋮ Hilbert-style presentations of two logics associated to tetravalent modal algebras ⋮ Introduction ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ Paraconsistent logic from a modal viewpoint ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Non-classical operations hidden in classical logic ⋮ An interpretation of Łukasiewicz's 4-valued modal logic

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