On the number of types
From MaRDI portal
Publication:1708962
DOI10.1007/s11229-016-1190-1zbMath1417.03079OpenAlexW2513106854MaRDI QIDQ1708962
Publication date: 27 March 2018
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-016-1190-1
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Substitution contradiction, its resolution and the Church-Rosser theorem in TIL ⋮ Anatomy of a proposition
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Transparent quantification into hyperintensional objectual attitudes
- The paradox of inference and the non-triviality of analytic information
- The seven virtues of simple type theory
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- Semantical antinomies in the logic of sense and denotation
- Russell, His Paradoxes, and Cantor's Theorem: Part I
- Comparison of Russell's resolution of the semantical antinomies with that of Tarski
- Theoretical Pearls:Representing ‘undefined’ in lambda calculus
- Procedural isomorphism, analytic information and -conversion by value
- A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
- Does Frege have too many thoughts? A Cantorian problem revisited
This page was built for publication: On the number of types
