My favourite three-valued logic

Brian Davey (La Trobe University)

We will meet a beautiful three-valued logic that has applications in database queries and in hazard prevention in logic circuits. Just as Boolean algebra corresponds to two-valued logic, ternary algebras correspond to this three-valued logic. We will see how two different dualities for ternary algebras can work in tandem to describe term functions on the three-element ternary algebra and to unlock the underlying lattice structure of free ternary algebras.