A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH
[EN] The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic B_{M} with a dual intuitionistic negation of the type Sylvan defined for the extension CC\omega of da Costa’s paraconsistent logic C\omega. We provide Routley–Meyer ternary relational semantics with a set of...
| Autores: | , |
|---|---|
| Formato: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2021 |
| País: | España |
| Recursos: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25569 |
| Acesso em linha: | https://link.springer.com/article/10.1007/s10849-020-09321-8 https://hdl.handle.net/10612/25569 |
| Access Level: | acceso abierto |
| Palavra-chave: | Lógica Dual intuitionistic logics De Morgan logics Paraconsistent logics Routley-Meyer ternary relational semantics 11 Lógica |
| Resumo: | [EN] The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic B_{M} with a dual intuitionistic negation of the type Sylvan defined for the extension CC\omega of da Costa’s paraconsistent logic C\omega. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3_{DH}, the expansion of G3_{+} with a dual intuitionistic negation of the kind considered by Sylvan (G3_{+} is the positive fragment of Gödelian 3-valued logic G3). All logics in the paper are paraconsistent. |
|---|