New journal paper with Daan Staudt
(20 April 2018)
and in print:
An independent axiomatisation for free short-circuit logic, Journal of Applied Non-Classical Logics 28(1), 35-71.
Follow-up paper on arXiv: Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.
4 October 2018
31 October 2017