A cut-free, sound and complete Russellian theory of definite descriptions

DOI10.1007/978-3-031-43513-3_7MaRDI QIDQ6541147

Nils Kürbis, Andrzej Indrzejczak

Publication date: 17 May 2024

zbMATH Keywords

cut eliminationsequent calculusdefinite descriptionspredicate abstracts

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A cut-free, sound and complete Russellian theory of definite descriptions