6 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.LO2024
Fully Evaluated Left-Sequential Logics
Alban Ponse, Daan J. C. Staudt
We consider a family of two-valued "fully evaluated left-sequential logics" (FELs), of which Free FEL (defined by Staudt in 2012) is most distinguishing (weakest) and immune to ato…
cs.LO2018★ 5 cited
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…
cs.LO2017★ 6 cited
An independent axiomatisation for free short-circuit logic
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…