%0 Journal Article
%A Gheorghiu, Alexander V.
%A Pym, David J.
%T Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
%J Bulletin of the Section of Logic
%D 2023
%P 239-266
%V 52
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2023_52_2_a3/
%G en
%F BSL_2023_52_2_a3