2 papers
cs.LO2025
Fracterm Calculus for Partial Meadows
Jan A. Bergstra, Alban Ponse
Partial algebras and datatypes are discussed with the use of signatures that allow partial functions, and a three-valued short-circuit (sequential) first order logic with a Tarski…
cs.LO2025
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 define…