The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
[EN] We define all 3-valued implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) verifying Anderson and Belnap’s First degree entailment logic, FDE. Then, the logics determined by each one of these implicative expansions are axiomatized by using a...
| Autor: | |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2021 |
| País: | España |
| Recursos: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25668 |
| Acesso em linha: | https://hdl.handle.net/10612/25668 |
| Access Level: | acceso abierto |
| Palavra-chave: | Lógica 3-valued logic Kleene’s strong 3-valued logic Belnap-Dunn ‘twovalued’ semantics First degree entailment logic FDE Implicative logic 11 Lógica |
| Resumo: | [EN] We define all 3-valued implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) verifying Anderson and Belnap’s First degree entailment logic, FDE. Then, the logics determined by each one of these implicative expansions are axiomatized by using a Belnap-Dunn ‘two-valued’ semantics. This semantics is ‘overdetermined’ in the case of two designated values and ‘underdetermined’ when there is only one. |
|---|