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
JournalBulletin of the Section of Logic
Volume48
Issue number2
DOIs
Publication statusPublished - 12 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.

View graph of relations

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