3-state logic
finite types