A calculus for four-valued sequential logic
We present a complete axiomatisation for four-valued sequential logic. It consists of nine axioms, from which all valid laws can be derived by equational reasoning. These nine axioms are independent of each other. (C) 2011 Elsevier B.V. All rights reserved.
four-valued sequential logic complete axiomatisation finite basis