A cut-free, sound and complete Russellian theory of definite descriptions
From MaRDI portal
Publication:6541147
Cites work
- scientific article; zbMATH DE number 3650529 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- scientific article; zbMATH DE number 7585722 (Why is no real title available?)
- scientific article; zbMATH DE number 3300580 (Why is no real title available?)
- scientific article; zbMATH DE number 3402572 (Why is no real title available?)
- A binary quantifier for definite descriptions for cut free free logics
- A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
- A mathematical introduction to logic.
- A modal logic \(\varepsilon\)-calculus
- Automating free logic in HOL, with an experimental application in category theory
- Definite descriptions in intuitionist positive free logic
- First-order modal logic
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Free logics are cut-free
- Labelled calculi for quantified modal logics with definite descriptions
- Principia Mathematica. Vol. I.
- Proof theory for fuzzy logics
- Proof-theory and semantics for a theory of definite descriptions
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- Two treatments of definite descriptions in intuitionist negative free logic
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
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)
