A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
Author(s): Gemma Robles , José M. MéndezSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: binary Routley semantics; 2 set-up binary Routley semantics; 3-valued logics; paraconsistent logics; Gödelian 3-valued logic G3
Summary/Abstract: G3 is Gödelian 3-valued logic, G3\(_\text{Ł}^\leq\) is its paraconsistent counterpart and G3\(_\text{Ł}^1\) is a strong extension of G3\(_\text{Ł}^\leq\). The aim of this paper is to endow each one of the logics just mentioned with a 2 set-up binary Routley semantics.
Journal: Bulletin of the Section of Logic
- Issue Year: 51/2022
- Issue No: 4
- Page Range: 487-505
- Page Count: 19
- Language: English