A Note on Intensionalization

Authors:
Philippe Groote;Makoto Kanazawa
Affiliations:
INRIA Nancy, Grand-Est, Villers-lès-Nancy, France 54600;National Institute of Informatics, Chiyoda-ku, Tokyo, Japan 101-8430
Venue:
Journal of Logic, Language and Information
Year:
2013

Citing 3
Cited 0

Modal logic

Modal logic
A short survey of isomorphisms of types

Mathematical Structures in Computer Science
Computational Semantics with Functional Programming

Computational Semantics with Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Building on Ben-Avi and Winter's (2007) work, this paper provides a general "intensionalization" procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating "truly intensional" lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague's (1973) PTQ.