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: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2021 |
| 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/25668 |
| Acceso en línea: | https://hdl.handle.net/10612/25668 |
| Access Level: | acceso abierto |
| Palabra clave: | 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 |
| Sumario: | [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. |
|---|