INVESTIGADORES
SAN MARTIN Hernan Javier
artículos
Título:
Kleene algebras with implication
Autor/es:
CASTIGLIONI JOSÉ LUIS; SAN MARTÍN HERNÁN JAVIER; CELANI SERGIO ARTURO
Revista:
ALGEBRA UNIVERSALIS
Editorial:
BIRKHAUSER VERLAG AG
Referencias:
Lugar: BASEL; Año: 2017 vol. 77 p. 375 - 393
ISSN:
0002-5240
Resumen:
Inspired by an old construction due to J. Kalman that relates distributivelattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication.
