We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Type-theoretic logic with an operational account of intensionality.
- Authors
Fox, Chris; Lappin, Shalom
- Abstract
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.
- Subjects
SEMANTICS (Philosophy); LAMBDA calculus; TYPE theory; MATHEMATICAL logic; LOGIC
- Publication
Synthese, 2015, Vol 192, Issue 3, p563
- ISSN
0039-7857
- Publication type
Article
- DOI
10.1007/s11229-013-0390-1