A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
From MaRDI portal
Publication:6200454
DOI10.18778/0138-0680.2022.20MaRDI QIDQ6200454
Publication date: 29 February 2024
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
paraconsistent logics3-valued logicsbinary Routley semantics2 set-up binary Routley semanticsGödelian 3-valued logic G3
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
- Relational semantics for the 4-valued relevant logics BN4 and E4
- A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
- Proof Systems for 3-valued Logics Based on Gödel’s Implication
- A paraconsistent 3-valued logic related to Godel logic G3
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
This page was built for publication: A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
