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

Vista sencilla de ítem
dc.contributor.authorAlbuquerque, Hugo
dc.contributor.authorPřenosil, Adam
dc.contributor.authorRivieccio, Umberto
dc.date.accessioned2024-12-02T12:28:29Z
dc.date.available2024-12-02T12:28:29Z
dc.date.issued2017-07-28
dc.descriptionEste 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
dc.description.abstractThe 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.en
dc.description.versionversión final
dc.identifier.citationAlbuquerque, 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
dc.identifier.doihttps://doi.org/10.1007/s11225-017-9739-7
dc.identifier.issn0039-3215; e-ISSN: 1572-8730
dc.identifier.urihttps://hdl.handle.net/20.500.14468/24636
dc.journal.issue6
dc.journal.titleStudia Logica
dc.journal.volume105
dc.language.isoen
dc.page.final1086
dc.page.initial1051
dc.publisherSpringer Nature
dc.relation.centerFacultades y escuelas::Facultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject11 Lógica
dc.subject.keywordssuper-Belnap logicsen
dc.subject.keywordsfour-valued logicen
dc.subject.keywordsparaconsistent logicen
dc.subject.keywordsBelnap–Dunn logicen
dc.subject.keywordsFDEen
dc.subject.keywordsLogic of Paradoxen
dc.subject.keywordsKleene logicen
dc.subject.keywordsExactly True logicen
dc.subject.keywordsDe Morgan algebrasen
dc.subject.keywordsAbstract Algebraic Logicen
dc.subject.keywordsLeibniz filtersen
dc.subject.keywordsstrong versions of logicsen
dc.titleAn algebraic view of super-Belnap logics. Studia Logicaen
dc.typeartículoes
dc.typejournal articleen
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_AnAlgebraicView.pdf
Tamaño:
613.23 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
3.62 KB
Formato:
Item-specific license agreed to upon submission
Descripción:
Descargar
Colecciones
Artículos y papers