Tern

tern - Kleene and Ɓukasiewicz ternary propositional logic.