Incomplete symbols -- definite descriptions revisited

DOI10.1007/s10992-014-9339-1zbMath1336.03064OpenAlexW1986340074MaRDI QIDQ253123

Norbert Gratzl

Publication date: 8 March 2016

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://epub.ub.uni-muenchen.de/29338/1/Preprint_IncompleteSymbols.pdf

zbMATH Keywords

proof theorydefinite descriptionsphilosophical logicincomplete symbols

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

Proof-theory and semantics for a theory of definite descriptions ⋮ The epsilon-reconstruction of theories and scientific structuralism ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ A binary quantifier for definite descriptions for cut free free logics

Uses Software

• Pesca

Cites Work

• Untersuchungen über das logische Schliessen. I
• ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM
• Cut Elimination in the Presence of Axioms
• Free Logic
• On Free Description Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Incomplete symbols -- definite descriptions revisited