Kürbis, N. 2020. Definite Descriptions in Intuitionist Positive Free Logic. Logic and Logical Philosophy. 30, 2 (Nov. 2020), 227–358. DOI:https://doi.org/10.12775/LLP.2020.024.