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 QIDQ6541148FDOQ6541148
Authors: Andrzej Indrzejczak 
Publication date: 17 May 2024
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- First-order modal logic
- 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?)
- Variable Binding Term Operators
- Title not available (Why is that?)
- Title not available (Why is that?)
- Principia Mathematica. Vol. I.
- The logic of number
- Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
- Free logics are cut-free
- Fregean Description Theory in Proof-Theoretical Setting
- 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
- Tableaux for free logics with descriptions
- 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
- New foundations for mathematical logic.
- Remarks on identity and description in first-order axiom systems
- 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)
