Kürbis, N. (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