UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation

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. Green open access

[thumbnail of Kurbis VoR 5440-Article Text-15660-2-10-20190810.pdf]
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
Downloads since deposit
91Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item