The following pages link to Kleene algebras with implication (Q2362883):
Displaying 8 items.
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras (Q1090350) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- Kleene algebra with domain (Q5277765) (← links)
- On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices (Q5384358) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712425) (← links)
- Tense operators on distributive lattices with implication (Q6115855) (← links)