King's College London

Research portal

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

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)81-97
Number of pages17
JournalBulletin of the Section of Logic
Volume48
Issue number2
DOIs
Accepted/In press12 May 2019
Published12 Aug 2019

Documents

King's Authors

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.

Download statistics

No data available

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454