RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH

DOI10.1017/s1755020321000289zbMath1522.03315OpenAlexW3194705343MaRDI QIDQ6041350

Andrzej Indrzejczak

Publication date: 26 May 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020321000289

zbMATH Keywords

sequent calculusRusselldefinite descriptionscut elimination.

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Tableaux for free logics with descriptions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the rules of suppositions in formal logic
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Proof theory for fuzzy logics
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
• Fregean Description Theory in Proof-Theoretical Setting
• A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
• Computer Science Logic
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• Rule-Generation Theorem and its Applications

This page was built for publication: RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH