Mostrar el registro sencillo del ítem
dc.contributor.author
Castiglioni, José Luis
dc.contributor.author
Celani, Sergio Arturo
dc.contributor.author
San Martín, Hernán Javier
dc.date.available
2018-08-22T16:28:56Z
dc.date.issued
2017-07
dc.identifier.citation
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
dc.identifier.issn
0002-5240
dc.identifier.uri
http://hdl.handle.net/11336/56549
dc.description.abstract
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 .
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Centered Kleene Algebras
dc.subject
Involutive Distributive Lattices
dc.subject
Lattices with Implication
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Kleene algebras with implication
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2018-08-21T18:38:46Z
dc.identifier.eissn
1420-8911
dc.journal.volume
77
dc.journal.number
4
dc.journal.pagination
375-393
dc.journal.pais
Alemania
dc.journal.ciudad
Berlin
dc.description.fil
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
dc.description.fil
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
dc.description.fil
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
dc.journal.title
Algebra Universalis
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00012-017-0433-4
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007%2Fs00012-017-0433-4
Archivos asociados