The simplest Kleene algebra that is not Boolean is Kleene's three-valued logic K3. K3 made its first appearance in Kleene's On notation for ordinal numbers (1938).
Kleene's three-valued logic, which is the most fundamental form of Kleene algebra beyond Boolean, was initially introduced by Kleene in his work On notation for ordinal numbers (1938).