KÜRBIS, N. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. Bulletin of the Section of Logic, [S. l.], v. 48, n. 2, p. 81–97, 2019. DOI: 10.18778/0138-0680.48.2.01. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/5440. Acesso em: 26 apr. 2024.