Publicación:
Intuitionistic modal algebras

Vista sencilla de ítem
dc.contributor.authorCelani, Sergio A.
dc.contributor.authorRivieccio, Umberto
dc.date.accessioned2024-10-07T15:24:43Z
dc.date.available2024-10-07T15:24:43Z
dc.date.issued2023-09-15
dc.descriptionThe registered version of this article, first published in Studia Logica, is available online at the publisher's website: Springer Nature, https://doi.org/10.1007/s11225-023-10065-2
dc.descriptionLa versión registrada de este artículo, publicado por primera vez en Studia Logica, está disponible en línea en el sitio web del editor: Springer Nature, https://doi.org/10.1007/s11225-023-10065-2
dc.description.abstractRecent research on algebraic models of quasi-Nelson logic has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a nucleus. Among these various algebraic structures, for which we employ the umbrella term intuitionistic modal algebras, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of weak implicative semilattices, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus.en
dc.description.versionversión final
dc.identifier.citationCelani, Sergio A., and Umberto Rivieccio. "Intuitionistic modal algebras." Studia Logica 112.3 (2024): 611-660. https://doi.org/10.1007/s11225-023-10065-2
dc.identifier.doihttps://doi.org/10.1007/s11225-023-10065-2
dc.identifier.issn1572-8730
dc.identifier.urihttps://hdl.handle.net/20.500.14468/23944
dc.journal.titleStudia Logica
dc.journal.volume112
dc.language.isoen
dc.page.final660
dc.page.initial611
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/4.0/deed.es
dc.subject72 Filosofía
dc.subject.keywordsintuitionistic modal algebrasen
dc.subject.keywordsnucleien
dc.subject.keywordsrepresentationen
dc.subject.keywordstopological dualityen
dc.subject.keywordsnuclear Heyting algebrasen
dc.subject.keywordsimplicative semilatticesen
dc.subject.keywordsquasi-Nelson algebrasen
dc.subject.keywordsfragmentsen
dc.subject.keywordsweak Heyting algebrasen
dc.titleIntuitionistic modal algebrasen
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_IntuitionisticModalAlgebras_UMBERTO RIVIECCIO.pdf
Tamaño:
511.3 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