An infinity of super-Belnap logics
We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characteris...
| Autor: | |
|---|---|
| Tipo de documento: | artigo |
| Data de publicação: | 2012 |
| País: | España |
| Recursos: | Universidad Nacional de Educación a Distancia |
| Repositório: | e-spacio. Repositorio Institucional de la UNED |
| Idioma: | inglês |
| OAI Identifier: | oai:e-spacio.uned.es:20.500.14468/19435 |
| Acesso em linha: | https://hdl.handle.net/20.500.14468/19435 |
| Access Level: | Acceso aberto |
| Palavra-chave: | extensions of Belnap logic strong Kleene logic De Morgan lattices non-protoalgebraic logics abstract algebraic logic |
| Resumo: | We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical matrix. We show that the last logic of the chain is not finitely axiomatisable. |
|---|