RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH

DOI10.1017/S1755020321000289zbMATH Open1522.03315OpenAlexW3194705343MaRDI QIDQ6041350FDOQ6041350

Authors: 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

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

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)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Proof theory for fuzzy logics
• Title not available (Why is that?)
• On the rules of suppositions in formal logic
• Title not available (Why is that?)
• Computer Science Logic
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Fregean Description Theory in Proof-Theoretical Setting
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Title not available (Why is that?)
• 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
• Cut-free modal theory of definite descriptions
• Rule-Generation Theorem and its Applications

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)