A calculus for sequential logic with 4 values by J.A. Bergstra