Repository | Journal | Volume | Articles
(2015) Synthese 192 (3).
Type-theoretic logic with an operational account of intensionality
Chris Fox, Shalom Lappin
pp. 563-584
We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of computation.
Publication details
DOI: 10.1007/s11229-013-0390-1
Full citation:
Fox, C. , Lappin, S. (2015). Type-theoretic logic with an operational account of intensionality. Synthese 192 (3), pp. 563-584.
This document is unfortunately not available for download at the moment.