3 papers
math.LO2026
Russell's Theory of Definite Descriptions in the Light of Structural Proof Theory
Andrzej Indrzejczak, Nils Kürbis
In 'On Denoting' Russell proposed the most influential theory of definite descriptions, expressions of the form 'the F'. Characteristic for Russell's approach is that definite desc…
cs.LO2024
A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
Andrzej Indrzejczak, Nils Kürbis
We present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some o…
cs.LO2024
Normalisation for Negative Free Logics without and with Definite Descriptions
Nils Kürbis
This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific…