Logic Journal of IGPL Advance Access originally published online on July 25, 2007
Logic Journal of IGPL 2008 16(1):75-83; doi:10.1093/jigpal/jzm027
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Ternary Exclusive Or
Department of Philosophy, Simon Fraser University, Burnaby B.C., Canada V5A 1S6. E-mail: jeffpell{at}sfu.ca
Department of Philosophy, Simon Fraser University, Burnaby B.C., Canada V5A 1S6. E-mail: ahartlin{at}sfu.ca
| Abstract |
|---|
Ternary exclusive or is the (two valued) truth function that is true just in case exactly one of its three arguments is true. This is an interesting truth function, not definable in terms of the binary exclusive or alone, although the binary case is definable in terms of the ternary case. This article investigates the types of truth functions that can be defined by ternary exclusive or, and relates these findings to the seminal work of Emil Post.
Key Words: truth functions Emil Post functional completeness or
Received for publication 18 March 2007.
![]()
CiteULike
Connotea
Del.icio.us What's this?