Kürbis, N. Definite Descriptions in Intuitionist Positive Free Logic. LLP 2020, 30, 227-358.