4 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 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…
cs.LO2021
Proof-Theory and Semantics for a Theory of Definite Descriptions
Nils Kürbis
This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete senten…