Kleene algebras with implication

Autores
Castiglioni, José Luis; Celani, Sergio Arturo; San Martín, Hernán Javier
Año de publicación
2017
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication (H, ∧, ∨, →, 0, 1) which satisfy the following property for every a, b, c ∈ H: if a ≤ b → c, then a ∧ b ≤ c.
Departamento de Matemática
Materia
Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/103275

id SEDICI_4ea79855a506dffa336ab724db8af38a
oai_identifier_str oai:sedici.unlp.edu.ar:10915/103275
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Kleene algebras with implicationCastiglioni, José LuisCelani, Sergio ArturoSan Martín, Hernán JavierMatemáticaCentered Kleene algebrasLattices with implicationInvolutive distributive latticesInspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication (H, ∧, ∨, →, 0, 1) which satisfy the following property for every a, b, c ∈ H: if a ≤ b → c, then a ∧ b ≤ c.Departamento de Matemática2017-02-10info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf375-393http://sedici.unlp.edu.ar/handle/10915/103275enginfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00012-017-0433-4info:eu-repo/semantics/altIdentifier/issn/1420-8911info:eu-repo/semantics/altIdentifier/doi/10.1007/s00012-017-0433-4info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:22:24Zoai:sedici.unlp.edu.ar:10915/103275Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:22:24.325SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Kleene algebras with implication
title Kleene algebras with implication
spellingShingle Kleene algebras with implication
Castiglioni, José Luis
Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
title_short Kleene algebras with implication
title_full Kleene algebras with implication
title_fullStr Kleene algebras with implication
title_full_unstemmed Kleene algebras with implication
title_sort Kleene algebras with implication
dc.creator.none.fl_str_mv Castiglioni, José Luis
Celani, Sergio Arturo
San Martín, Hernán Javier
author Castiglioni, José Luis
author_facet Castiglioni, José Luis
Celani, Sergio Arturo
San Martín, Hernán Javier
author_role author
author2 Celani, Sergio Arturo
San Martín, Hernán Javier
author2_role author
author
dc.subject.none.fl_str_mv Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
topic Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
dc.description.none.fl_txt_mv Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication (H, ∧, ∨, →, 0, 1) which satisfy the following property for every a, b, c ∈ H: if a ≤ b → c, then a ∧ b ≤ c.
Departamento de Matemática
description Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication (H, ∧, ∨, →, 0, 1) which satisfy the following property for every a, b, c ∈ H: if a ≤ b → c, then a ∧ b ≤ c.
publishDate 2017
dc.date.none.fl_str_mv 2017-02-10
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/103275
url http://sedici.unlp.edu.ar/handle/10915/103275
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00012-017-0433-4
info:eu-repo/semantics/altIdentifier/issn/1420-8911
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00012-017-0433-4
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
375-393
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616099983785984
score 13.070432