A relational formulation of the theory of types

DOI10.1007/BF00635639zbMath0672.03014OpenAlexW2039792188MaRDI QIDQ3824291

Reinhard A. Muskens

Publication date: 1989

Published in: Linguistics and Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00635639

zbMATH Keywords

natural language semanticsRussell's theory of typesHilbert's eta operatormulti-argument functions and relationsrelational model theory

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (2)

A Computable Solution to Partee’s Temperature Puzzle ⋮ When are different type-logical semantic definitions defining equivalent meanings?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of philosophical logic. Vol. I: Elements of classical logic
• Descriptions in mathematical logic
• Eine Termlogik mit Auswahloperator
• Model Theory for the Higher Order Predicate Calculus
• Theorie der Logischen Auswahlfunktionen
• Generalized quantifiers and natural language
• A formulation of the simple theory of types
• Completeness in the theory of types

This page was built for publication: A relational formulation of the theory of types