Towards proof-theoretic formulation of the general theory of term-forming operators

DOI10.1007/978-3-031-43513-3_8MaRDI QIDQ6541148zbMATH OpenFDO

Authors Andrzej Indrzejczak

Publication date 17 May 2024

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

definite descriptionsQuinesequent calculusterm-forming operatorsabstraction operator

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• scientific article; zbMATH DE number 3659574 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 559185 (Why is no real title available?)
• scientific article; zbMATH DE number 3794036 (Why is no real title available?)
• scientific article; zbMATH DE number 7585722 (Why is no real title available?)
• scientific article; zbMATH DE number 3304001 (Why is no real title available?)
• scientific article; zbMATH DE number 3378888 (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 novel approach to equality
• 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
• Fregean Description Theory in Proof-Theoretical Setting
• Labelled calculi for quantified modal logics with definite descriptions
• New foundations for mathematical logic.
• Principia Mathematica. Vol. I.
• Proof-theory and semantics for a theory of definite descriptions
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• Remarks on identity and description in first-order axiom systems
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Structural proof theory. With an appendix by Aarne Ranta
• Tableaux for free logics with descriptions
• The logic of number
• Two treatments of definite descriptions in intuitionist negative free logic
• Variable Binding Term Operators

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)