Artículo

Kleene algebras with implication

Castiglioni, José LuisIcon ; Celani, Sergio ArturoIcon ; San Martín, Hernán JavierIcon
Fecha de publicación: 07/2017
Editorial: Springer
Revista: Algebra Universalis
ISSN: 0002-5240
e-ISSN: 1420-8911
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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 .
Palabras clave: Centered Kleene Algebras , Involutive Distributive Lattices , Lattices with Implication
 
Archivos asociados
Thumbnail
 
Tamaño: 677.7Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/56549
DOI: http://dx.doi.org/10.1007/s00012-017-0433-4
URL: https://link.springer.com/article/10.1007%2Fs00012-017-0433-4
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
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
Compartir
Altmétricas