Gheorghiu, Alexander V., and David J. Pym. 2023. “Definite Formulae, Negation-As-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic”. Bulletin of the Section of Logic 52 (2):239-66. https://doi.org/10.18778/0138-0680.2023.16.