Daan J.C. Staudt

Identifiers

No identifiers captured yet.

Papers (3)

1. Fully Evaluated Left-Sequential Logics cs.LO · 2024 · author #2
2. Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant cs.LO · 2018 · author #3
3. An independent axiomatisation for free short-circuit logic cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alban Ponse 3 shared papers
• Jan A. Bergstra 1 shared papers