Incomplete symbols -- definite descriptions revisited
From MaRDI portal
Publication:253123
DOI10.1007/S10992-014-9339-1zbMATH Open1336.03064OpenAlexW1986340074MaRDI QIDQ253123FDOQ253123
Authors: 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
Recommendations
- Incomplete symbols and the theory of logical types
- Boole's indefinite symbols re-examined
- Symbolic Semantics Revisited
- scientific article; zbMATH DE number 1497801
- Symbolic method in invariant theory
- scientific article; zbMATH DE number 1617302
- On a syntactically defined invariant of symbolic dynamics
- On proving functional incompleteness in symbolic logic classes
Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)
Cites Work
- Untersuchungen über das logische Schliessen. I
- Structural proof theory. With an appendix by Aarne Ranta
- On the termination of Russell's description elimination algorithm
- Title not available (Why is that?)
- Cut Elimination in the Presence of Axioms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Free Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Free Description Theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (6)
- Definite descriptions in intuitionist positive free logic
- A binary quantifier for definite descriptions for cut free free logics
- Proof-theory and semantics for a theory of definite descriptions
- The epsilon-reconstruction of theories and scientific structuralism
- Title not available (Why is that?)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
Uses Software
This page was built for publication: Incomplete symbols -- definite descriptions revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q253123)
