Relational semantics for the 4-valued relevant logics BN4 and E4
[EN] The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for B...
| 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/25706 |
| Acceso en línea: | https://apcz.umk.pl/LLP/article/view/LLP.2016.006 https://hdl.handle.net/10612/25706 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Relevant logics 4-valued logics Many-valued logics Routley- Meyer semantics 11 Lógica |
| Sumario: | [EN] The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics. |
|---|