A basic quasi-Boolean logic of intuitionistic character
[EN] The logic B_{M} is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B_{M} endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5_{G3}. Unreduced Routley-Meyer ternary relat...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2020 |
| 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/25670 |
| Acceso en línea: | https://www.tandfonline.com/doi/full/10.1080/11663081.2020.1826155 https://hdl.handle.net/10612/25670 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica De Morgan logics Quasi-Boolean logics Paraintuitionistic logics Superintuitionistic logics Routley-Meyer ternary relational semantics 11 Lógica |
| Sumario: | [EN] The logic B_{M} is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B_{M} endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5_{G3}. Unreduced Routley-Meyer ternary relational semantics are provided for all the logics defined in the paper. |
|---|