Kürbis N. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic. B Sect Log. 2019;48(4):299–317. doi:10.18778/0138-0680.48.4.04