A variety of De Morgan negations in relevant logics
[EN] The present paper is inspired by Sylvan and Plumwood's logic B_{M} defined in "Non-normal relevant logics" and by their treatment of negation with the *-operator in "The semantics of first-degree entailment". Given a positive logic L including Routley and Meyer's b...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2023 |
| 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/22891 |
| Acceso en línea: | https://ojs.victoria.ac.nz/ajl/article/view/8311 https://hdl.handle.net/10612/22891 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Minimal De Morgan logic B_{M} *-operator De Morgan type negation Relevant logics Routley-Meyer ternary relational semantics 11 Lógica |
| Sumario: | [EN] The present paper is inspired by Sylvan and Plumwood's logic B_{M} defined in "Non-normal relevant logics" and by their treatment of negation with the *-operator in "The semantics of first-degree entailment". Given a positive logic L including Routley and Meyer's basic positive logic and included in either the positive fragment of E or in that of RW, we investigate the essential De Morgan negation expansions of L and determine all the deductive relations they maintain to each other. A Routley-Meyer semantics is provided for each logic defined in the paper |
|---|