A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
[EN] Brady's logic BN4 can be viewed as the 4-valued logic of the relevant conditional. The aim of this article is to introduce the logic E4, which can be regarded as the 4-valued logic of (relevant) entailment on the basis of the two following facts: (1) as the logic R-mingle, E4 has the ‘quas...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2016 |
| 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/25711 |
| Acceso en línea: | https://academic.oup.com/jigpal/article-abstract/24/5/838/2198221 https://hdl.handle.net/10612/25711 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Relevant logics Many-valued logics 4-valued logics Belnap- Dunn type semantics Brady’s logic BN4 11 Lógica |
| Sumario: | [EN] Brady's logic BN4 can be viewed as the 4-valued logic of the relevant conditional. The aim of this article is to introduce the logic E4, which can be regarded as the 4-valued logic of (relevant) entailment on the basis of the two following facts: (1) as the logic R-mingle, E4 has the ‘quasi-relevance property’; (2) as Anderson and Belnap's logic of entailment E, E4 encloses a sound theory of logical necessity when the necessity operator is introduced via the definition \square A=_{df} (A->A)->A. |
|---|