Programming Research Group  -  University of Amsterdam  -  TR P9616


	      A Complete System of Four-Valued Logic


			 P.H. Roodenburg


We study a  four-valued  logic  discussed  in [BBR].  We describe a
complete  set  of  connectives   containing  a  disjunction  and  a
conjunction, and show the elements of the set are  independent.  We
construct a complete  set of  equational  axioms for the algebra of
four truth values with these connectives for operations.


NOTE: To appear in Journal of Applied Non-Classical Logics.