6 citations · 6 across the 2 of their papers we have counts for
2 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.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…