INVESTIGADORES
CASTIGLIONI JosÉ Luis
congresos y reuniones científicas
Título:
Kleene algebras with implication
Autor/es:
J.L. CASTIGLIONI; H.J. SAN MARTÍN; S. CELANI
Lugar:
Barcelona
Reunión:
Congreso; Syntax Meets Semantics 2016; 2016
Institución organizadora:
Universitat De Barcelona
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 a category whose objects are algebras withimplication (H, ∧, ∨, →, 0, 1) which satisfies the following property for every a, b, c ∈ H: if a ≤ b → c then a ∧ b ≤ c.