Research Repository

Type-theoretic logic with an operational account of intensionality

Fox, C and Lappin, S (2014) 'Type-theoretic logic with an operational account of intensionality.' Synthese. ISSN 0039-7857

[img]
Preview
Text
fox-lappin_ms_synthese14.pdf - Accepted Version

Download (219kB) | Preview

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.

Item Type: Article
Uncontrolled Keywords: Intensionality Type theory Logic Semantics Operational interpretation
Subjects: P Language and Literature > P Philology. Linguistics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Jim Jamieson
Date Deposited: 03 Dec 2014 10:16
Last Modified: 17 Aug 2017 17:43
URI: http://repository.essex.ac.uk/id/eprint/11955

Actions (login required)

View Item View Item