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.

Authors

• Jan A. Bergstra
• Jaco van de Pol

Keywords

• Four-valued sequential logic
• Complete axiomatisation
• Finite basis