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 documento: | artigo |
| Estado: | Versão publicada |
| Data de publicação: | 2016 |
| País: | España |
| Recursos: | Universidad de León |
| Repositório: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25706 |
| Acesso em linha: | https://apcz.umk.pl/LLP/article/view/LLP.2016.006 https://hdl.handle.net/10612/25706 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Lógica Relevant logics 4-valued logics Many-valued logics Routley- Meyer semantics 11 Lógica |
| Resumo: | [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. |
|---|