INVESTIGADORES
SAN MARTIN Hernan Javier
congresos y reuniones científicas
Título:
Kleene algebras with implication
Autor/es:
HERNÁN JAVIER SAN MARTÍN; JOSÉ LUIS CASTIGLIONI; SERGIO ARTURO CELANI
Lugar:
Barcelona
Reunión:
Conferencia; SYSMICS 2016; 2016
Institución organizadora:
SYSMICS
Resumen:
En este trabajo extendemos la equivalencia existente entre la categoría de álgebras de Heyting y la categoría de álgebras de Kleene centradas, en donde consideraremos en lugar de álgebras de Heyting cierta categoría de álgebras con implicación. Asimismo estudiamos propiedades de las categorías consideradas.
