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...
| Author: | |
|---|---|
| Format: | Article |
| Status: | Accepted version |
| Publication date: | 2013 |
| Country: | España |
| Institution: | Universidad de León |
| Repository: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25795 |
| Online Access: | https://link.springer.com/article/10.1007/s11787-013-0088-7 https://hdl.handle.net/10612/25795 |
| Access Level: | Open access |
| Keyword: | Lógica Many-valued logics Gödel 3-valued logic Routley-Meyer semantics Paraconsistent logics. 11 Lógica |
| _version_ | 1878732405500542976 |
|---|---|
| author | Robles Vázquez, Gemma |
| author_browse | Robles Vázquez, Gemma |
| author_facet | Robles Vázquez, Gemma |
| author_role | author |
| collection | BULERIA. Repositorio Institucional de la Universidad de León |
| 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. |
| eu_rights_str_mv | openAccess |
| format | article |
| id | ES_426ebb5d06ca34fbc4d27b5aaa39dfdc |
| institution | Universidad de León |
| instname_str | Universidad de León |
| network_acronym_str | ES |
| network_name_str | España |
| oai_identifier_str | oai:buleria.unileon.es:10612/25795 |
| publishDate | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| publisherStr | Springer |
| reponame_str | BULERIA. Repositorio Institucional de la Universidad de León |
| spelling | 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 [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. SI Ministerio de Economía y Competitividad (España) Springer https://link.springer.com/article/10.1007/s11787-013-0088-7 https://hdl.handle.net/10612/25795 |
| 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 |
| status_str | acceptedVersion |
| title | 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_short | 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 |
| topic | Lógica Many-valued logics Gödel 3-valued logic Routley-Meyer semantics Paraconsistent logics. 11 Lógica |
| topic_facet | Lógica Many-valued logics Gödel 3-valued logic Routley-Meyer semantics Paraconsistent logics. 11 Lógica |
| url | https://link.springer.com/article/10.1007/s11787-013-0088-7 https://hdl.handle.net/10612/25795 |