Theory Ternary
section
‹Ternary Logic›
theory
Ternary
imports
Main
begin
text
‹Kleene logic›