25 citations · 137 across the 18 of their papers we have counts for
18 papers
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…
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…
Non-commutative propositional logic with short-circuited biconditional and NAND
Dalia Papuc, Alban Ponse
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the v…
Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the v…
Datatype defining rewrite systems for naturals and integers
Jan A. Bergstra, Alban Ponse
A datatype defining rewrite system (DDRS) is an algebraic (equational) specification intended to specify a datatype. When interpreting the equations from left-to-right, a DDRS defi…
Poly-infix operators and operator families
Jan A. Bergstra, Alban Ponse
Poly-infix operators and operator families are introduced as an alternative for working modulo associativity and the corresponding bracket deletion convention. Poly-infix operators…