Kürbis N. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. B Sect Log. 2019;48(2):81-97. doi:10.18778/0138-0680.48.2.01