Extensional Logic of Hyperintensions
From MaRDI portal
Publication:3224007
DOI10.1007/978-3-642-28279-9_19zbMath1314.03031MaRDI 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
transparency; extensional logic of hyperintensions; hyperintensional context; quantifying-in; transparent intensional logic; ramified type theory; extensional context; intensional context
Related Items
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