TY - JOUR AU - Indrzejczak, Andrzej PY - 2020/10/30 Y2 - 2024/03/28 TI - Free Definite Description Theory – Sequent Calculi and Cut Elimination JF - Logic and Logical Philosophy JA - LLP VL - 29 IS - 4 SE - Articles DO - 10.12775/LLP.2020.020 UR - https://apcz.umk.pl/LLP/article/view/LLP.2020.020 SP - 505-539 AB - <div><p class="Standard">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 examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of varying strength. For all presented calculi a constructive cut elimination is provided.</p></div> ER -