4 citations · 6 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
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…
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…