Fregean Description Theory in Proof-Theoretical Setting

DOI10.12775/LLP.2018.008MaRDI QIDQ5215499zbMATH OpenOpenAlexWikidataFDO

Authors Andrzej Indrzejczak

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

zbMATH Keywords

definite descriptionsFregecut eliminationsequent calculus

Mathematics Subject Classification ID

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)

Recommendations

• Proof-theory and semantics for a theory of definite descriptions
• On the Philosophical foundations of free description theory
• Denotation and description in free logic*
• Frege's theorem in a constructive setting
• Descriptions in mathematical logic
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• scientific article; zbMATH DE number 1867299
• scientific article; zbMATH DE number 1195925
• Fregean Extensions of First‐Order Theories
• Propositional proofs in Frege and extended Frege systems (abstract)

Cites work

• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• scientific article; zbMATH DE number 107641 (Why is no real title available?)
• scientific article; zbMATH DE number 1028821 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• First-order modal logic
• Modal logic for philosophers
• On Tarski's formalization of predicate logic with identity
• Proof theory for fuzzy logics
• Remarks on descriptions and natural deduction
• Remarks on identity and description in first-order axiom systems
• Rule-Generation Theorem and its Applications
• Simple cut elimination proof for hybrid logic
• Structural proof theory. With an appendix by Aarne Ranta

Cited in

(19)

• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
• Two treatments of definite descriptions in intuitionist negative free logic
• Definite descriptions in intuitionist positive free logic
• A binary quantifier for definite descriptions for cut free free logics
• The theory of descriptions revisited
• The constructive reference theory. \(\Sigma\) types and definite descriptions.
• A novel approach to equality
• Cut-free modal theory of definite descriptions
• Proof-theory and semantics for a theory of definite descriptions
• Tableaux for free logics with descriptions
• The logicality of equality
• A possibility-free logic of descriptions
• Frege's theorem in a constructive setting
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Definite descriptions
• On the Philosophical foundations of free description theory
• Towards proof-theoretic formulation of the general theory of term-forming operators
• Leśniewski's ontology -- proof-theoretic characterization

Describes a project that uses

Uses Software

• Pesca

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)