Extensional Logic of Hyperintensions

DOI10.1007/978-3-642-28279-9_19zbMath1314.03031OpenAlexW50911829MaRDI QIDQ3224007

Marie Duží

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

zbMATH Keywords

transparencyextensional logic of hyperintensionshyperintensional contextquantifying-intransparent intensional logicramified type theoryextensional contextintensional context

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Combinatory logic and lambda calculus (03B40)

Related Items (4)

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

This page was built for publication: Extensional Logic of Hyperintensions