Towards proof-theoretic formulation of the general theory of term-forming operators
From MaRDI portal
Publication:6541148
DOI10.1007/978-3-031-43513-3_8MaRDI QIDQ6541148
Publication date: 17 May 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Principia Mathematica. Vol. I.
- First-order modal logic
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- A binary quantifier for definite descriptions for cut free free logics
- Tableaux for free logics with descriptions
- Proof-theory and semantics for a theory of definite descriptions
- Free logics are cut-free
- New foundations for mathematical logic.
- Structural proof theory. With an appendix by Aarne Ranta
- Labelled calculi for quantified modal logics with definite descriptions
- The Logic of Number
- 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
- Variable Binding Term Operators
- Remarks on identity and description in first-order axiom systems
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- A novel approach to equality
This page was built for publication: Towards proof-theoretic formulation of the general theory of term-forming operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541148)
