4 citations · 4 across the 2 of their papers we have counts for
2 papers
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.LO2023
Comment on Mark Textor: Brentano's Positing Theory of Existence
Nils Kürbis
This article is the text of a commentary on a talk delivered by Mark Textor entitled 'Brentano's Positing Theory of Existence' in December 2015. It contains ideas on implementing T…