4 citations · 5 across the 3 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…
cs.LO2024★ 1 cited
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…