Slides Honoursprogramma BSc. Informatica
(10 December 2018)
(meeting was scheduled 31 October 2018, but cancelled)
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)