Proof-theory and semantics for a theory of definite descriptions

DOI10.1007/978-3-030-86059-2_6OpenAlexW3201825737MaRDI QIDQ2142067

Nils Kürbis

Publication date: 25 May 2022

Full work available at URL: https://arxiv.org/abs/2108.03944

zbMATH Keywords

cut eliminationsequent calculusproof theorydefinite descriptionspositive free logicdual domain semantics

Mathematics Subject Classification ID

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

Cites Work

• Incomplete symbols -- definite descriptions revisited
• A logical calculus with descriptions
• First-order modal logic
• A binary quantifier for definite descriptions for cut free free logics
• Free logics are cut-free
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Definite Descriptions in Intuitionist Positive Free Logic
• Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
• Fregean Description Theory in Proof-Theoretical Setting
• A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
• Completeness theorems for some presupposition-free logics
• Universally free logic and standard quantification theory
• Modality and description
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof-theory and semantics for a theory of definite descriptions