Kürbis, N. (2019). Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic. Bulletin of the Section of Logic, 48(4), 299–317. https://doi.org/10.18778/0138-0680.48.4.04