4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…