Publicación:
Representation of De Morgan and (Semi-)Kleene Lattices

Vista sencilla de ítem
dc.contributor.authorRivieccio, Umberto
dc.contributor.funderCNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico), Brasil
dc.date.accessioned2025-10-28T12:44:08Z
dc.date.available2025-10-28T12:44:08Z
dc.date.issued2020-04-02
dc.descriptionThis is the Accepted Manuscript of an article published by Springer in "Soft Computing, 24" 2020, available online: https://doi.org/10.1007/s00500-020-04885-w
dc.descriptionEste es el manuscrito aceptado de un artículo publicado por Springer in "Soft Computing, 24" 2020, disponible en línea: https://doi.org/10.1007/s00500-020-04885-w
dc.descriptionFinanciado por Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq, Brazil), under the grant 313643/2017-2 (Bolsas de Produtivi- dade em Pesquisa - PQ).
dc.description.abstractTwist-structure representation theorems are established for De Morgan and Kleene lattices. While the former result relies essentially on the quasivariety of De Morgan lattices being finitely generated, the representation for Kleene lattices does not and can be extended to more general algebras. In particular, one can drop the double negation identity (involutivity). The resulting class of algebras, named semi-Kleene lattices by analogy with Sankappanavar’s semi-De Morgan lattices, is shown to be representable through a twist-structure construction inspired by the Cornish–Fowler duality for Kleene lattices. Quasi-Kleene lattices, a subvariety of semi-Kleene, are also defined and investigated, showing that they are precisely the implication-free subreducts of the recently introduced class of quasi-Nelson lattices.en
dc.description.versionversión final
dc.identifier.citationRivieccio, U. Representation of De Morgan and (Semi-)Kleene Lattices. Soft Comput 24, 8685–8716 (2020). https://doi.org/10.1007/s00500-020-04885-w
dc.identifier.doihttps://doi.org/10.1007/s00500-020-04885-w
dc.identifier.issn1432-7643 | eISSN 1433-7479
dc.identifier.urihttps://hdl.handle.net/20.500.14468/30656
dc.journal.titleSoft Computing
dc.journal.volume24
dc.language.isoen
dc.page.final8716
dc.page.initial8685
dc.publisherSpringer
dc.relation.centerFacultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.relation.projectidinfo:eu-repo/grantAgreement/CNPq/313643/2017-2
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject72 Filosofía
dc.subject11 Lógica
dc.titleRepresentation of De Morgan and (Semi-)Kleene Latticesen
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_Representation_UMBERTO RIVIECCIO.pdf
Tamaño:
526.09 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