Publicación:
An infinity of super-Belnap logics

Vista sencilla de ítem
dc.contributor.authorRivieccio, Umberto
dc.date.accessioned2024-05-21T12:53:19Z
dc.date.available2024-05-21T12:53:19Z
dc.date.issued2012
dc.description.abstractWe 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.en
dc.description.versionversión final
dc.identifier.doihttps://doi.org/10.1080/11663081.2012.737154
dc.identifier.issn1166-3081 - eISSN 1958-5780
dc.identifier.urihttps://hdl.handle.net/20.500.14468/19435
dc.journal.issue4
dc.journal.titleJournal of Applied Non-Classical Logics
dc.journal.volume22
dc.language.isoen
dc.publisherTaylor & Francis
dc.relation.centerFacultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject.keywordsextensions of Belnap logic
dc.subject.keywordsstrong Kleene logic
dc.subject.keywordsDe Morgan lattices
dc.subject.keywordsnon-protoalgebraic logics
dc.subject.keywordsabstract algebraic logic
dc.titleAn infinity of super-Belnap logicses
dc.typejournal articleen
dc.typeartículoes
dspace.entity.typePublication
relation.isAuthorOfPublication78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery78477d31-191f-4cbb-b9ff-32b8ec63d72b
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Rivieccio_Umberto_AnInfinity.pdf
Tamaño:
346.41 KB
Formato:
Adobe Portable Document Format
Descargar
Colecciones
Artículos y papers