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