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

Research output: Contribution to journalArticlepeer-review

10 Citations (Scopus)
36 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)81-97
Number of pages17
JournalBulletin of the Section of Logic
Volume48
Issue number2
DOIs
Publication statusPublished - 12 Aug 2019

Keywords

  • Definite descriptions
  • Natural deduction
  • Negative intuitionist free logic
  • Normalization

Fingerprint

Dive into the research topics of 'A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation'. Together they form a unique fingerprint.

Cite this