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)

Authors
Nils Kürbis
King's College London
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.
Keywords definite descriptions  negative free logic  intuitionist logic  natural deduction  normalisation
Categories (categorize this paper)
DOI 10.18778/0138-0680.48.2.01
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Definite Descriptions: Language, Logic, and Elimination.Norbert Gratzl - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 355.
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Relating Intuitionist Negation and Triviality.Wagner de Campos Sanz - 2004 - Logic Journal of the IGPL 12 (6):581-599.
On the Philosophical Foundations of Free Description Theory.Karel Lambert - 1987 - History and Philosophy of Logic 8 (1):57-66.
Normal Deduction in the Intuitionistic Linear Logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.

Analytics

Added to PP index
2019-08-19

Total views
50 ( #166,140 of 2,266,263 )

Recent downloads (6 months)
50 ( #15,476 of 2,266,263 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature