 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).The algebra was named after Kleene by Brignole and Monteiro.