Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
[EN]The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of bot...
| Autor: | |
|---|---|
| Tipo de documento: | artigo |
| Estado: | Versão publicada |
| Data de publicação: | 2022 |
| País: | España |
| Recursos: | Universidad de Salamanca (USAL) |
| Repositório: | GREDOS. Repositorio Institucional de la Universidad de Salamanca |
| OAI Identifier: | oai:gredos.usal.es:10366/155584 |
| Acesso em linha: | http://hdl.handle.net/10366/155584 |
| Access Level: | Acceso aberto |
| Palavra-chave: | 4-valued logics Belnap-Dunn semantics Routley and Meyer’s logic B Many-valued logics Relevant logics 11 Lógica |
| Resumo: | [EN]The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of both systems) which contain Routley and Meyer’s logic B and endow them with a Belnap-Dunn type bivalent semantics. |
|---|