Slides Honoursprogramma BSc. Informatica
(9 December 2019)
(19 November 2019)
Most recent journal paper:
A. Ponse and D.J.C. Staudt, An independent axiomatisation for free short-circuit logic,
Journal of Applied Non-Classical Logics 28(1): 35-71, 2018. Online version (20 April 2018).
Follow-up paper on arXiv: Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.
(4 October 2018)