A relational formulation of the theory of types (Q3824291)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A relational formulation of the theory of types |
scientific article |
Statements
A relational formulation of the theory of types (English)
0 references
1989
0 references
natural language semantics
0 references
Russell's theory of types
0 references
multi-argument functions and relations
0 references
relational model theory
0 references
Hilbert's eta operator
0 references
