The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
[EN] Sylvan and Plumwood’s B_{M} is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic B_{KM} and some of its extensions. The logic B_{KM} is the non-relevant De Morgan minimal logic in the Routley-Meyer s...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2014 |
| 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/25749 |
| Acceso en línea: | https://www.tandfonline.com/doi/abs/10.1080/11663081.2014.972306 https://hdl.handle.net/10612/25749 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Routley-Meyer semantics De Morgan logics Substructural logics 11 Lógica |
| Sumario: | [EN] Sylvan and Plumwood’s B_{M} is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic B_{KM} and some of its extensions. The logic B_{KM} is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points. |
|---|