Page "Kleene algebra" Paragraph 1
from
Wikipedia
* A bounded distributive lattice with an involution satisfying De Morgan's laws ( i. e. a De Morgan algebra ), additionally satisfying the inequality x ∧− x ≤ y ∨− y.
Kleene ( and De Morgan ) algebras are subclasses of Ockham algebras.
The simplest Kleene algebra of this kind is Kleene's three-valued logic K3.
( This is analogous to Boolean logic being the simplest Boolean algebra.
Page 1 of 1.
1.861 seconds.