A cut-free, sound and complete Russellian theory of definite descriptions
From MaRDI portal
Publication:6541147
DOI10.1007/978-3-031-43513-3_7MaRDI QIDQ6541147FDOQ6541147
Authors: Andrzej Indrzejczak, Nils Kürbis 
Publication date: 17 May 2024
Cites Work
- A mathematical introduction to logic.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof theory for fuzzy logics
- First-order modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Principia Mathematica. Vol. I.
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- Free logics are cut-free
- A binary quantifier for definite descriptions for cut free free logics
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Definite descriptions in intuitionist positive free logic
- Title not available (Why is that?)
- Two treatments of definite descriptions in intuitionist negative free logic
- A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
- Proof-theory and semantics for a theory of definite descriptions
- Labelled calculi for quantified modal logics with definite descriptions
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- Automating free logic in HOL, with an experimental application in category theory
- A modal logic \(\varepsilon\)-calculus
This page was built for publication: A cut-free, sound and complete Russellian theory of definite descriptions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541147)
