My favourite three-valued logicBrian Davey (La Trobe University)
Old Quad Common Room
University of Melbourne
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.
Who is attending?
No one has said they will attend yet.
Will you attend this event?