Basic Quasi-Boolean Expansions of Relevance Logics
[EN] The basic quasi-Boolean negation (QB-negation) expansions of relevance logics included in Anderson and Belnap’s relevance logic R are defined. We consider two types of QB-negation: H-negation and D-negation. The former one is of paraintuitionistic or superintuitionistic character, the latter on...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2021 |
| 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/25665 |
| Acceso en línea: | https://link.springer.com/article/10.1007/s10992-020-09583-4 https://hdl.handle.net/10612/25665 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica De Morgan logics Quasi-Boolean logics Relevance logics Routley-Meyer ternary relational semantics 11 Lógica |
| Sumario: | [EN] The basic quasi-Boolean negation (QB-negation) expansions of relevance logics included in Anderson and Belnap’s relevance logic R are defined. We consider two types of QB-negation: H-negation and D-negation. The former one is of paraintuitionistic or superintuitionistic character, the latter one, of dual intuitionistic nature in some sense. Logics endowed with H-negation are paracomplete; logics with D-negation are paraconsistent. All logics defined in the paper are given a Routley-Meyer ternary relational semantics. |
|---|