Cogprints

A Relational Formulation of the Theory of Types

Muskens, Reinhard (1989) A Relational Formulation of the Theory of Types. [Journal (Paginated)]

Full text available as:

[img]
Preview
PDF
91Kb
[img]
Preview
Postscript
232Kb

Abstract

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

Item Type:Journal (Paginated)
Keywords:type theory, semantics, eta operator, lambda operator
Subjects:Philosophy > Philosophy of Language
Linguistics > Semantics
Philosophy > Logic
ID Code:4703
Deposited By:Muskens, Dr Reinhard
Deposited On:21 Jan 2006
Last Modified:11 Mar 2011 08:56

Metadata

Repository Staff Only: item control page