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