4 citations · 6 across the 3 of their papers we have counts for
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★ 4 cited
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…
math.LO2024★ 2 cited
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
Andrzej Indrzejczak
Term-forming operators (tfos), like iota- or epsilon-operator, are technical devices applied to build complex terms in formal languages. Although they are very useful in practice t…