Synthese 192 (3):563-584 (2015)

Chris Fox
University of Essex
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
Keywords Intensionality  Type theory  Logic  Semantics  Operational interpretation
Categories (categorize this paper)
DOI 10.1007/s11229-013-0390-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,100
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On Sense and Reference.Gottlob Frege - 2010 - In Darragh Byrne & Max Kölbel (eds.), Arguing About Language. Routledge. pp. 36--56.
Meaning and Necessity.Rudolf Carnap - 1947 - University of Chicago Press.

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
67 ( #136,618 of 2,324,544 )

Recent downloads (6 months)
2 ( #464,303 of 2,324,544 )

How can I increase my downloads?


My notes