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: | 12 Sep 2007 18:01 |
Metadata
- HTML Citation
- ASCII Citation
- EPrints Application Profile (experimental)
- ID Plus Text Citation
- OpenURL ContextObject
- EndNote
- BibTeX
- OpenURL ContextObject in Span
- MODS
- DIDL
- EP3 XML
- Dublin Core
- Reference Manager
- Eprints Application Profile
- Simple Metadata
- Refer
- METS
- Search Data Dump
Repository Staff Only: item control page
