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

08/04/2021
by   Nils Kürbis, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/04/2021

Definite Descriptions in Intuitionist Positive Free Logic

This paper presents rules of inference for a binary quantifier I for the...
research
07/15/2021

Tableaux for Free Logics with Descriptions

The paper provides a tableau approach to definite descriptions. We focus...
research
08/04/2021

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

Sentences containing definite descriptions, expressions of the form `The...
research
08/09/2021

Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule

This paper considers a formalisation of classical logic using general in...
research
10/19/2021

Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules

This paper studies a formalisation of intuitionistic logic by Negri and ...
research
08/09/2021

Proof-Theory and Semantics for a Theory of Definite Descriptions

This paper presents a sequent calculus and a dual domain semantics for a...
research
08/12/2021

Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it

Bilateralists hold that the meanings of the connectives are determined b...

Please sign up or login with your details

Forgot password? Click here to reset