Fregean Description Theory in Proof-Theoretical Setting
DOI10.12775/LLP.2018.008zbMATH Open1477.03238OpenAlexW2811013040WikidataQ129580249 ScholiaQ129580249MaRDI QIDQ5215499FDOQ5215499
Publication date: 11 February 2020
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2018.008
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)
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?)
- Structural proof theory. With an appendix by Aarne Ranta
- Proof theory for fuzzy logics
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- First-order modal logic
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- On Tarski's formalization of predicate logic with identity
- Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel
- Remarks on descriptions and natural deduction
- Rule-Generation Theorem and its Applications
- Simple cut elimination proof for hybrid logic
- Remarks on identity and description in first-order axiom systems
Cited In (13)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- A binary quantifier for definite descriptions for cut free free logics
- A novel approach to equality
- Proof-theory and semantics for a theory of definite descriptions
- Tableaux for free logics with descriptions
- The logicality of equality
- Frege's theorem in a constructive setting
- 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
- A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
- Towards proof-theoretic formulation of the general theory of term-forming operators
- Leśniewski's ontology -- proof-theoretic characterization
Uses Software
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) 👍 👎
- Descriptions in mathematical logic 👍 👎
- Frege's theorem in a constructive setting 👍 👎
- Fregean Extensions of First‐Order Theories 👍 👎
- Denotation and description in free logic* 👍 👎
- Proof-theory and semantics for a theory of definite descriptions 👍 👎
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH 👍 👎
- On the Philosophical foundations of free description theory 👍 👎
This page was built for publication: Fregean Description Theory in Proof-Theoretical Setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215499)
