Kürbis, Nils. “Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic”. Bulletin of the Section of Logic 48, no. 4 (December 31, 2019): 299–317. Accessed April 12, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/6274.