INVESTIGADORES
CASTIGLIONI JosÉ Luis
artículos
Título:
Kleene algebras with implication
Autor/es:
J.L. CASTIGLIONI; S. CELANI; H.J. SAN MARTÍN
Revista:
ALGEBRA UNIVERSALIS
Editorial:
BIRKHAUSER VERLAG AG
Referencias:
Lugar: BASEL; Año: 2017 p. 375 - 393
ISSN:
0002-5240
Resumen:
Inspired by an old construction due to J. Kalman that relatesdistributive lattices and centered Kleene algebras, in this paperwe study an equivalence for certain categories whose objects arealgebras with implication $(H,we,ee, a,0,1)$ which satisfiesthe following property for every $a,b,cin H$: if $aleq ba c$then $awe b leq c$.
