RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH

DOI10.1017/S1755020321000289MaRDI QIDQ6041350zbMATH OpenOpenAlexFDO

Authors Andrzej Indrzejczak

Publication date 26 May 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

definite descriptionssequent calculusRussellcut elimination.

Mathematics Subject Classification ID

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

Recommendations

• Proof-theory and semantics for a theory of definite descriptions
• Russell's Theory of Definite Descriptions*
• Fregean Description Theory in Proof-Theoretical Setting
• Definite descriptions in intuitionist positive free logic
• scientific article; zbMATH DE number 2101953
• On the proof-theoretic foundation of general definition theory
• Definability and descent
• Cut-free modal theory of definite descriptions
• Definability theorems in normal extensions of the provability logic

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 7585722 (Why is no real title available?)
• A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
• Computer Science Logic
• Cut-free modal theory of definite descriptions
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Fregean Description Theory in Proof-Theoretical Setting
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• On the rules of suppositions in formal logic
• Proof theory for fuzzy logics
• Rule-Generation Theorem and its Applications
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Structural proof theory. With an appendix by Aarne Ranta
• Two treatments of definite descriptions in intuitionist negative free logic

Cited in

(13)

• Coalescent theories and divergent paraphrases: definites, non-extensional contexts, and familiarity
• The theory of descriptions revisited
• Cut-free modal theory of definite descriptions
• Russell's Theory of Definite Descriptions*
• On the termination of Russell's description elimination algorithm
• Tableaux for free logics with descriptions
• Propositional Structure and B. Russell's Theory of Denoting inThe Principles of Mathematics
• scientific article; zbMATH DE number 2101953 (Why is no real title available?)
• scientific article; zbMATH DE number 1690090 (Why is no real title available?)
• Fregean Description Theory in Proof-Theoretical Setting
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• A cut-free, sound and complete Russellian theory of definite descriptions
• Towards proof-theoretic formulation of the general theory of term-forming operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041350)