EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

DOI10.12775/LLP.2021.010OpenAlexW3193747616MaRDI QIDQ5066097

José Miguel Blanco

Publication date: 29 March 2022

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2021.010

zbMATH Keywords

many-valued logicsmodal logicsrelevant logics4-valued modal logicsmodal paradoxesBelnap-Dunn semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable

Uses Software

• MaGIC
• MaTest

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An interpretation of Łukasiewicz's 4-valued modal logic
• Where gamma fails
• On Łukasiewicz's four-valued modal logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
• Entailment and relevance¹
• An abstract algebraic logic approach to tetravalent modal logics
• The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• Inconsistency Tolerance

This page was built for publication: EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes