Conditional logic as a short-circuit logic

Jan A. Bergstra, Alban Ponse

Three-valued conditional logic (CL) is defined by Guzmán and Squier (1990), and based on McCarthy's noncommutative connectives, axiomatises a short-circuit logic (SCL) that defines…