Publicación:
An algebraic view of super-Belnap logics. Studia Logica

Cargando...
Miniatura
Fecha
2017-07-28
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
Springer Nature
Proyectos de investigación
Unidades organizativas
Número de la revista
Resumen
The Belnap–Dunn logic (also known as First Degree Entailment, or FDE) is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of view of Abstract Algebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies.
Descripción
Este es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Stud Logica 105, 1051–1086 (2017), está disponible en línea en el sitio web del editor: https://doi.org/10.1007/s11225-017-9739-7 This is the accepted manuscript of the article. The registered version was first published in Stud Logica 105, 1051–1086 (2017), it is available online at the publisher's website: https://doi.org/10.1007/s11225-017-9739-7
Categorías UNESCO
Palabras clave
super-Belnap logics, four-valued logic, paraconsistent logic, Belnap–Dunn logic, FDE, Logic of Paradox, Kleene logic, Exactly True logic, De Morgan algebras, Abstract Algebraic Logic, Leibniz filters, strong versions of logics
Citación
Albuquerque, H., Přenosil, A. & Rivieccio, U. An Algebraic View of Super-Belnap Logics. Stud Logica 105, 1051–1086 (2017). https://doi.org/10.1007/s11225-017-9739-7
Centro
Facultades y escuelas::Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia
Grupo de investigación
Grupo de innovación
Programa de doctorado
Cátedra