Daan J. C. Staudt

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Topics

Propositional Logic

Top Venues

J. Appl. Non Class. Logics

Publications

Alban Ponse, Daan J. C. Staudt
Fully Evaluated Left-Sequential Logics. CoRR (2024)
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Non-commutative propositional logic with short-circuit evaluation. J. Appl. Non Class. Logics 31 (3-4) (2021)
Alban Ponse, Daan J. C. Staudt
An independent axiomatisation for free short-circuit logic. J. Appl. Non Class. Logics 28 (1) (2018)
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant. CoRR (2018)
Alban Ponse, Daan J. C. Staudt
An independent axiomatization for free short-circuit logic. CoRR (2017)
Daan J. C. Staudt
Completeness for Two Left-Sequential Logics CoRR (2012)