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
Revision history
Archival date: 2019-08-19
View upload history
References found in this work BETA
[Omnibus Review].Prawitz, Dag

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2019-08-19

Total views
90 ( #34,709 of 50,116 )

Recent downloads (6 months)
26 ( #23,860 of 50,116 )

How can I increase my downloads?

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