Kurbis, 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)
pp. 81-97.
10.18778/0138-0680.48.2.01.
Preview |
Text
Kurbis VoR 5440-Article Text-15660-2-10-20190810.pdf - Published Version Download (411kB) | Preview |
Abstract
This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ℩x[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
| Type: | Article |
|---|---|
| Title: | A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.18778/0138-0680.48.2.01 |
| Publisher version: | https://czasopisma.uni.lodz.pl/bulletin/article/vi... |
| Language: | English |
| Additional information: | This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. https://creativecommons.org/licenses/by-nc-nd/4.0/ |
| Keywords: | definite descriptions, negative intuitionist free logic, natural deduction, normalization |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Philosophy |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10079721 |
Archive Staff Only
 |
View Item |
