Kleene algebras with implication |
| |
Authors: | José Luis Castiglioni Sergio Arturo Celani Hernán Javier San Martín |
| |
Institution: | 1.Departamento de Matemática, Facultad de Ciencias Exactas,UNLP and CONICET,La Plata,Argentina;2.Departamento de Matemática, Facultad de Ciencias Exactas,UNCPBA and CONICET,Tandil,Argentina |
| |
Abstract: | 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, \bigwedge, \bigvee, \rightarrow, 0,1)}\) which satisfy the following property for every \({a,b,c\, \in\, H}\): if \({a \leq b \rightarrow c}\), then \({a \bigwedge b \leq c}\). |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|