Kürbis, Nils. 2019. “A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation”. Bulletin of the Section of Logic 48 (2):81-97. https://doi.org/10.18778/0138-0680.48.2.01.