My favourite three-valued logic
Brian Davey (La Trobe University)

April 19, 2013, 12:00pm - 1:30pm
School of Historical and Philosophical Studies, University of Melbourne

Old Quad Common Room
University of Melbourne

Topic areas


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.

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.