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 .
Fil: Castiglioni, José Luis. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
Fil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; Argentina
Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
Materia
Centered Kleene Algebras
Involutive Distributive Lattices
Lattices with Implication
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/56549
Acceder
id CONICETDig_549f714506b585f55a026bae9dcebd96
oai_identifier_str oai:ri.conicet.gov.ar:11336/56549
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Kleene algebras with implicationCastiglioni, José LuisCelani, Sergio ArturoSan Martín, Hernán JavierCentered Kleene AlgebrasInvolutive Distributive LatticesLattices with Implicationhttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1Inspired 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 .Fil: Castiglioni, José Luis. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; ArgentinaFil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; ArgentinaFil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; ArgentinaSpringer2017-07info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/56549Castiglioni, José Luis; Celani, Sergio Arturo; San Martín, Hernán Javier; Kleene algebras with implication; Springer; Algebra Universalis; 77; 4; 7-2017; 375-3930002-52401420-8911CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.1007/s00012-017-0433-4info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007%2Fs00012-017-0433-4info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:50:11Zoai:ri.conicet.gov.ar:11336/56549instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:50:11.365CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Kleene algebras with implication
title Kleene algebras with implication
spellingShingle Kleene algebras with implication
Castiglioni, José Luis
Centered Kleene Algebras
Involutive Distributive Lattices
Lattices with Implication
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 Centered Kleene Algebras
Involutive Distributive Lattices
Lattices with Implication
topic Centered Kleene Algebras
Involutive Distributive Lattices
Lattices with Implication
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
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 .
Fil: Castiglioni, José Luis. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
Fil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; Argentina
Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
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-07
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
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://hdl.handle.net/11336/56549
Castiglioni, José Luis; Celani, Sergio Arturo; San Martín, Hernán Javier; Kleene algebras with implication; Springer; Algebra Universalis; 77; 4; 7-2017; 375-393
0002-5240
1420-8911
CONICET Digital
CONICET
url http://hdl.handle.net/11336/56549
identifier_str_mv Castiglioni, José Luis; Celani, Sergio Arturo; San Martín, Hernán Javier; Kleene algebras with implication; Springer; Algebra Universalis; 77; 4; 7-2017; 375-393
0002-5240
1420-8911
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1007/s00012-017-0433-4
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007%2Fs00012-017-0433-4
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269018566688768
score 13.13397

Publicaciones similares