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

Bulletin of the Section of Logic 48 (2):81-97 (2019)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
KRBABQ
Upload history
Archival date: 2019-08-19
View other versions
Added to PP index
2019-08-19

Total views
140 ( #36,187 of 2,440,151 )

Recent downloads (6 months)
19 ( #34,295 of 2,440,151 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.