Muskens, Reinhard (1989) A Relational Formulation of the Theory of Types. [Journal (Paginated)]
Full text available as:
![[img]](../style/images/fileicons/application_pdf.png)
|
PDF
91Kb | |
![[img]](../style/images/fileicons/application_postscript.png)
|
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
- ASCII Citation
- Atom
- BibTeX
- Dublin Core
- EP3 XML
- EPrints Application Profile (experimental)
- EndNote
- HTML Citation
- ID Plus Text Citation
- JSON
- METS
- MODS
- MPEG-21 DIDL
- OpenURL ContextObject
- OpenURL ContextObject in Span
- RDF+N-Triples
- RDF+N3
- RDF+XML
- Refer
- Reference Manager
- Search Data Dump
- Simple Metadata
- YAML
Repository Staff Only: item control page
