Gheorghiu, A. V. and Pym, D. J. (2023) “Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic”, Bulletin of the Section of Logic, 52(2), pp. 239–266. doi: 10.18778/0138-0680.2023.16.