TY  - JOUR
AU  - Gheorghiu, Alexander V.
AU  - Pym, David J.
TI  - Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
JO  - Bulletin of the Section of Logic
PY  - 2023
SP  - 239
EP  - 266
VL  - 52
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2023_52_2_a3/
LA  - en
ID  - BSL_2023_52_2_a3
ER  -