Kleene algebras with implication
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...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/103275 https://link.springer.com/article/10.1007/s00012-017-0433-4 |
| Aporte de: |
| Sumario: | 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. |
|---|