Completeness for Two Left-Sequential Logics - Daan J. C. Staudt (CoRR, 2012)

An independent axiomatization for free short-circuit logic. - Alban Ponse; Daan J. C. Staudt (CoRR, 2017)

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant. - Jan A. Bergstra; Alban Ponse; Daan J. C. Staudt (CoRR, 2018)

An independent axiomatisation for free short-circuit logic. - Alban Ponse; Daan J. C. Staudt (J. Appl. Non Class. Logics, 2018)

Non-commutative propositional logic with short-circuit evaluation. - Jan A. Bergstra; Alban Ponse; Daan J. C. Staudt (J. Appl. Non Class. Logics, 2021)

Fully Evaluated Left-Sequential Logics. - Alban Ponse; Daan J. C. Staudt (CoRR, 2024)