Muskens, Reinhard (1989) A Relational Formulation of the Theory of Types. [Journal (Paginated)]
![[img]](http://cogprints.org/style/images/fileicons/application_postscript.png)
| Postscript 232Kb | |
![[img]](http://cogprints.org/style/images/fileicons/application_pdf.png)
| PDF 91Kb |
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: | 19 Dec 2009 19:21 |
Metadata
- ID Plus Text Citation
- RDF+XML
- BibTeX
- Pageflow Montage
- JSON
- Dublin Core
- OAI-ORE Resource Map (Atom Format)
- Simple Metadata
- Refer
- METS
- OAI-ORE Resource Map (RDF Format)
- Search Data Dump
- Pageflow
- HTML Citation
- ASCII Citation
- YAML
- EPrints Application Profile (experimental)
- OpenURL ContextObject
- EndNote
- OpenURL ContextObject in Span
- MODS
- DIDL
- EP3 XML
- Reference Manager
- RDF+N3
- Eprints Application Profile
Repository Staff Only: item control page
