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

• Autorzy: Nils Kürbis
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

definite descriptions; negative intuitionist free logic; natural deduction; normalization

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2019
• Tom: 48
• Numer: 2
• Strony: 81-97

Daty

wydano

2019-06-30

Twórcy

autor

Nils Kürbis

Identyfikatory

DOI

10.18778/0138-0680.48.2.01