creators_name: Muskens, Reinhard
type: journalp
datestamp: 2006-01-21
lastmod: 2011-03-11 08:56:19
metadata_visibility: show
title: A Relational Formulation of the Theory of Types
ispublished: pub
subjects: phil-lang
subjects: ling-sem
subjects: phil-logic
full_text_status: public
keywords: type theory, semantics, eta operator, lambda operator
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.
date: 1989
date_type: published
publication: Linguistics and Philosophy
volume: 12
pagerange: 325-346
refereed: TRUE
citation:   Muskens, Reinhard  (1989) A Relational Formulation of the Theory of Types.  [Journal (Paginated)]     
document_url: http://cogprints.org/4703/1/relform.pdf
document_url: http://cogprints.org/4703/2/relform.ps