Kürbis, N. “Definite Descriptions in Intuitionist Positive Free Logic”. Logic and Logical Philosophy, vol. 30, no. 2, Nov. 2020, pp. 227-58, doi:10.12775/LLP.2020.024.