Kürbis N. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. B Sect Log [Internet]. 2019 Jun. 30 [cited 2026 Feb. 26];48(2):81-97. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/5440