Fregean Description Theory in Proof-Theoretical Setting

DOI10.12775/LLP.2018.008zbMath1477.03238OpenAlexW2811013040WikidataQ129580249 ScholiaQ129580249MaRDI QIDQ5215499

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

cut eliminationsequent calculusFregedefinite descriptions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (10)

Tableaux for free logics with descriptions ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ A novel approach to equality ⋮ 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 ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ Leśniewski's ontology -- proof-theoretic characterization ⋮ A binary quantifier for definite descriptions for cut free free logics

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel
• First-order modal logic
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• Proof theory for fuzzy logics
• Simple cut elimination proof for hybrid logic
• Remarks on descriptions and natural deduction
• On Tarski's formalization of predicate logic with identity
• Rule-Generation Theorem and its Applications
• Remarks on identity and description in first-order axiom systems

This page was built for publication: Fregean Description Theory in Proof-Theoretical Setting