A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4
[EN] The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this seman...
| Autores: | , , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| 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/25708 |
| Acceso en línea: | https://czasopisma.uni.lodz.pl/bulletin/article/view/1480 https://hdl.handle.net/10612/25708 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Relevant logics Many-valued logics 4-valued logics 2-set-up Routley-Meyer semantics 11 Lógica |
| Sumario: | [EN] The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics. |
|---|