Skip to main content
Article thumbnail
Location of Repository

A Relational Formulation of the Theory of Types

By Reinhard Muskens


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

Topics: Philosophy of Language, Semantics, Logic
Year: 1989
OAI identifier:

Suggested articles


  1. (1980). A Cross-Categorial Semantics for Coordination,
  2. (1940). A Formulation of the Simple Theory of Types,
  3. (1929). AbriƟ der Logistik, Verlag von
  4. (1950). Completeness in the Theory of Types,
  5. (1975). Intensional and Higher-Order Modal Logic,
  6. (1981). Scenes and Other Situations,
  7. (1983). Situations and Attitudes,
  8. (1974). Some Extensions of a Montague Fragment of English,
  9. (1980). The Syntax and Semantics of Questions in Swedish, University of Massachusetts at Amherst, Dissertation, reprinted as Constituent Questions: The Syntax and Semantics of Questions with Special Reference to Swedish, Reidel,
  10. (1957). Theorie der logischen Auswahlfunktionen,

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.