Relational semantics for the 4-valued relevant logics BN4 and E4

DOI10.12775/LLP.2016.006zbMath1396.03040MaRDI QIDQ2987765

Sandra M. López, Gemma Robles, Marcos M. Recio, Jesús R. Paradela, José Miguel Blanco

Publication date: 18 May 2017

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

zbMATH Keywords

many-valued logics4-valued logicsrelevant logicsRoutley-Meyer semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B ⋮ A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)

Uses Software

• MaTest

Cites Work

• Where gamma fails
• Partiality and its dual
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics
• Inconsistency Tolerance
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relational semantics for the 4-valued relevant logics BN4 and E4