Tableaux for free logics with descriptions

DOI10.1007/978-3-030-86059-2_4OpenAlexW3202656763MaRDI QIDQ2142064

Andrzej Indrzejczak, Michał Zawidzki

Publication date: 25 May 2022

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

zbMATH Keywords

definite descriptionsfree logicsanalytic tableaux

Mathematics Subject Classification ID

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

Cites Work

• Gentzen calculi for the existence predicate
• A more unified approach to free logics
• Handbook of philosophical logic. Vol. 6
• First-order modal logic
• Handbook of philosophical logic. Vol. 9
• Free logics are cut-free
• Labelled calculi for quantified modal logics with definite descriptions
• 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
• Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
• An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tableaux for free logics with descriptions