Extensional Logic of Hyperintensions
From MaRDI portal
Publication:3224007
DOI10.1007/978-3-642-28279-9_19zbMath1314.03031OpenAlexW50911829MaRDI QIDQ3224007
Publication date: 9 March 2012
Published in: Conceptual Modelling and Its Theoretical Foundations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28279-9_19
transparencyextensional logic of hyperintensionshyperintensional contextquantifying-intransparent intensional logicramified type theoryextensional contextintensional context
Related Items
Qualifying Quantifying-in ⋮ Introduction ⋮ Substitution contradiction, its resolution and the Church-Rosser theorem in TIL ⋮ If structured propositions are logical procedures then how are procedures individuated?
Cites Work
- The paradox of inference and the non-triviality of analytic information
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- Hyperintensional logic
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Intension in terms of Turing machines
- Alonzo Church's Contributions to Philosophy and Intensional Logic
- A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item