@article{Kürbis_2019, title={A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation}, volume={48}, url={https://czasopisma.uni.lodz.pl/bulletin/article/view/5440}, DOI={10.18778/0138-0680.48.2.01}, abstractNote={<p>This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩<em>x</em>[<em>F</em>, <em>G</em>] is read as `The <em>F</em> is <em>G</em>’. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ℩<em>x</em>[<em>F</em>, <em>G</em>] are given, and it is shown that deductions in the system can be brought into normal form.</p>}, number={2}, journal={Bulletin of the Section of Logic}, author={Kürbis, Nils}, year={2019}, month={Jun.}, pages={81-97} }