Description

• Title:
  A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
• Creator:
  Kurbis, Nils
• Contributor:
  Department of Philosophy, University College London, London, UK;
  n.kurbis@ucl.ac.uk
• Description:
  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.
• Object availability:
  free access
• Rights:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2019.10.13;
  2019
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic; 2;
  48
• Subject:
  definite descriptions;
  negative intuitionist free logic;
  natural deduction;
  normalization
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/30599 ;
  2449-836X;
  10.18778/0138-0680.48.2.01
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image