Publicación: An infinity of super-Belnap logics
Cargando...
Fecha
2012
Autores
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
Taylor & Francis
Resumen
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.
Descripción
Categorías UNESCO
Palabras clave
extensions of Belnap logic, strong Kleene logic, De Morgan lattices, non-protoalgebraic logics, abstract algebraic logic
Citación
Centro
Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia