Opis

• Tytuł:
  A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
• Twórca:
  Kurbis, Nils
• Współtwórca:
  Department of Philosophy, University College London, London, UK;
  n.kurbis@ucl.ac.uk
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2019.10.13;
  2019
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic; 2;
  48
• Temat i słowa kluczowe:
  definite descriptions;
  negative intuitionist free logic;
  natural deduction;
  normalization
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/30599 ;
  2449-836X;
  10.18778/0138-0680.48.2.01
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy