A 2 set-up binary Routley semantics for Gödelian 3-valued logic G3 and its paraconsistent counterpart G3≤Ł
[EN] G3 is Gödelian 3-valued logic, G3≤Ł Lis its paraconsistent counterpart and G3≤Ł isa strong extension of G3≤Ł. The aim of this paper is to endow each one of the logics just mentioned with a 2 set-up binary Routley semantics.
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2022 |
| País: | España |
| Institución: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/22909 |
| Acceso en línea: | https://czasopisma.uni.lodz.pl/bulletin/article/view/10498 https://hdl.handle.net/10612/22909 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Binary Routley semantics 2 set-up binary Routley semantics 3-valued logics Paraconsistent logics Gödelian 3-valued logic G3 11 Lógica |
| Sumario: | [EN] G3 is Gödelian 3-valued logic, G3≤Ł Lis its paraconsistent counterpart and G3≤Ł isa strong extension of G3≤Ł. The aim of this paper is to endow each one of the logics just mentioned with a 2 set-up binary Routley semantics. |
|---|