A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
[EN] Routley–Meyer semantics (RM-semantics) is defined for Gödel 3-valued logic G3 and some logics related to it among which a paraconsistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-the...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2013 |
| 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/25795 |
| Acceso en línea: | https://link.springer.com/article/10.1007/s11787-013-0088-7 https://hdl.handle.net/10612/25795 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Many-valued logics Gödel 3-valued logic Routley-Meyer semantics Paraconsistent logics. 11 Lógica |
| Sumario: | [EN] Routley–Meyer semantics (RM-semantics) is defined for Gödel 3-valued logic G3 and some logics related to it among which a paraconsistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer’s basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be expected that the models defined can be adapted to other related many-valued logics. |
|---|