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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/103275
Ver los metadatos del registro completo
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 |