Free Definite Description Theory – Sequent Calculi and Cut Elimination
Sign Up to like & getrecommendations! Published in 2020 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2020.020
Abstract: We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is… read more here.
Keywords: cut elimination; description theory; sequent;