The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd
[EN] The well-known logic first degree entailment logic (FDE), introduced by Belnap and Dunn, is defined with ∧, v and ~ as the sole primitive connectives. The aim of this paper is to establish the lattice formed by the class of all 4-valued C-extending implicative expansions of FDE verifying the ax...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2024 |
| 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/22889 |
| Acceso en línea: | https://academic.oup.com/jigpal/article/32/3/493/7079130 https://hdl.handle.net/10612/22889 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Belnap–Dunn logic Implicative expansions of Belnap–Dunn logic Routley–Meyer basic logic B Two-valued Belnap–Dunn semantics Functional inclusion and equivalence 7205.02 Filosofía de la Lógica |
| Sumario: | [EN] The well-known logic first degree entailment logic (FDE), introduced by Belnap and Dunn, is defined with ∧, v and ~ as the sole primitive connectives. The aim of this paper is to establish the lattice formed by the class of all 4-valued C-extending implicative expansions of FDE verifying the axioms and rules of Routley and Meyer’s basic logic B and its useful disjunctive extension B^{d}. It is to be noted that Boolean negation (so, classical propositional logic) is definable in the strongest element in the said class. |
|---|