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 |
| id |
ES_426ebb5d06ca34fbc4d27b5aaa39dfdc |
|---|---|
| oai_identifier_str |
oai:buleria.unileon.es:10612/25795 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| spelling |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpartRobles Vázquez, GemmaLógicaMany-valued logicsGödel 3-valued logicRoutley-Meyer semanticsParaconsistent logics.11 Lógica[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.SIMinisterio de Economía y Competitividad (España)SpringerLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2013info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionhttps://link.springer.com/article/10.1007/s11787-013-0088-7https://hdl.handle.net/10612/25795reponame:BULERIA. Repositorio Institucional de la Universidad de Leóninstname:Universidad de LeónInglésinfo:eu-repo/grantAgreement/MINECO//FFI2011-28494http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:buleria.unileon.es:10612/257952026-06-24T12:43:27Z |
| dc.title.none.fl_str_mv |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart |
| title |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart |
| spellingShingle |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart Robles Vázquez, Gemma Lógica Many-valued logics Gödel 3-valued logic Routley-Meyer semantics Paraconsistent logics. 11 Lógica |
| title_short |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart |
| title_full |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart |
| title_fullStr |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart |
| title_full_unstemmed |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart |
| title_sort |
A Routley–Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart |
| dc.creator.none.fl_str_mv |
Robles Vázquez, Gemma |
| author |
Robles Vázquez, Gemma |
| author_facet |
Robles Vázquez, Gemma |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Logica y Filosofia de la Ciencia Facultad de Filosofia y Letras |
| dc.subject.none.fl_str_mv |
Lógica Many-valued logics Gödel 3-valued logic Routley-Meyer semantics Paraconsistent logics. 11 Lógica |
| topic |
Lógica Many-valued logics Gödel 3-valued logic Routley-Meyer semantics Paraconsistent logics. 11 Lógica |
| description |
[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. |
| publishDate |
2013 |
| dc.date.none.fl_str_mv |
2013 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion |
| format |
article |
| status_str |
acceptedVersion |
| dc.identifier.none.fl_str_mv |
https://link.springer.com/article/10.1007/s11787-013-0088-7 https://hdl.handle.net/10612/25795 |
| url |
https://link.springer.com/article/10.1007/s11787-013-0088-7 https://hdl.handle.net/10612/25795 |
| dc.language.none.fl_str_mv |
Inglés |
| language_invalid_str_mv |
Inglés |
| dc.relation.none.fl_str_mv |
info:eu-repo/grantAgreement/MINECO//FFI2011-28494 |
| dc.rights.none.fl_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| eu_rights_str_mv |
openAccess |
| dc.publisher.none.fl_str_mv |
Springer |
| publisher.none.fl_str_mv |
Springer |
| dc.source.none.fl_str_mv |
reponame:BULERIA. Repositorio Institucional de la Universidad de León instname:Universidad de León |
| instname_str |
Universidad de León |
| reponame_str |
BULERIA. Repositorio Institucional de la Universidad de León |
| collection |
BULERIA. Repositorio Institucional de la Universidad de León |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1869406931233275904 |
| score |
15,81155 |