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

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

Old Quad Common Room
University of Melbourne
Parkville
Australia

Topic areas

Details

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.)

Reminders

Registration

No

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.

This event has been submitted and is maintained by:

(University of Cagliari)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.