An infinity of super-Belnap logics

Rivieccio, Umberto . (2012) An infinity of super-Belnap logics. Journal of Applied Non-Classical Logics, 22, 4 (2012), p. 319-335.

Ficheros (Some files may be inaccessible until you login with your e-spacio credentials)
Nombre Descripción Tipo MIME Size
Rivieccio_Umberto_AnInfinity.pdf Rivieccio_Umberto_AnInfinity.pdf application/pdf 346.40KB

Título An infinity of super-Belnap logics
Autor(es) Rivieccio, Umberto
Materia(s) Filosofía
Abstract 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.
Palabras clave extensions of Belnap logic
strong Kleene logic
De Morgan lattices
non-protoalgebraic logics
abstract algebraic logic
Editor(es) Taylor & Francis
Fecha 2012
Formato application/pdf
Identificador bibliuned:81-Urivieccio-0003
http://e-spacio.uned.es/fez/view/bibliuned:81-Urivieccio-0003
DOI - identifier https://doi.org/10.1080/11663081.2012.737154
ISSN - identifier 1166-3081 - eISSN 1958-5780
Nombre de la revista Journal of Applied Non-Classical Logics
Número de Volumen 22
Número de Issue 4
Página inicial 319
Página final 335
Publicado en la Revista Journal of Applied Non-Classical Logics, 22, 4 (2012), p. 319-335.
Idioma eng
Versión de la publicación acceptedVersion
Tipo de recurso Article
Derechos de acceso y licencia http://creativecommons.org/licenses/by-nc-nd/4.0
info:eu-repo/semantics/openAccess
Tipo de acceso Acceso abierto
Notas adicionales The registered version of this article, first published in Journal of Applied Non-Classical Logics, is available online at the publisher's website: Taylor & Francis, https://doi.org/10.1080/11663081.2012.737154
Notas adicionales La versión registrada de este artículo, publicado por primera vez en Journal of Applied Non-Classical Logics, está disponible en línea en el sitio web del editor: Taylor & Francis, https://doi.org/10.1080/11663081.2012.737154

 
Versiones
Versión Tipo de filtro
Contador de citas: Google Scholar Search Google Scholar
Estadísticas de acceso: 40 Visitas, 6 Descargas  -  Estadísticas en detalle
Creado: Wed, 07 Feb 2024, 05:32:13 CET