Indrzejczak, Andrzej;
Kurbis, Nils;
(2023)
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions.
In: Ramanayake, Revantha and Urban, Josef, (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods.
(pp. pp. 112-130).
Springer, Cham: Cham, Switzerland.
Preview |
Text
Kürbis_978-3-031-43513-3_7.pdf Download (434kB) | Preview |
Abstract
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 of its well known drawbacks and treats definite description as genuine terms. A constructive proof of the cut elimination theorem and a Henkin-style proof of completeness are the main results of this contribution.
| Type: | Proceedings paper |
|---|---|
| Title: | A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions |
| Event: | 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023) |
| Location: | CZECH REPUBLIC, Czech Tech Univ, Prague |
| Dates: | 18 Sep 2023 - 21 Sep 2023 |
| ISBN-13: | 978-3-031-43512-6 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-031-43513-3_7 |
| Publisher version: | https://doi.org/10.1007/978-3-031-43513-3_7 |
| Language: | English |
| Additional information: | © The Author(s) 2023 This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. |
| Keywords: | Definite Descriptions, Predicate abstracts, Sequent Calculus, Cut Elimination |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Philosophy |
| URI: | https://discovery-pp.ucl.ac.uk/id/eprint/10195682 |
Archive Staff Only
 |
View Item |
