Daan J. C. Staudt

According to our database, Daan J. C. Staudt authored at least 6 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Fully Evaluated Left-Sequential Logics.

Alban Ponse, Daan J. C. Staudt

CoRR, 2024

2021

Non-commutative propositional logic with short-circuit evaluation.

Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt

J. Appl. Non Class. Logics, 2021

2018

An independent axiomatisation for free short-circuit logic.

Alban Ponse, Daan J. C. Staudt

J. Appl. Non Class. Logics, 2018

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.

Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt

CoRR, 2018

2017

An independent axiomatization for free short-circuit logic.

Alban Ponse, Daan J. C. Staudt

CoRR, 2017

2012

Completeness for Two Left-Sequential Logics

Daan J. C. Staudt

CoRR, 2012