This site has been permanently archived. This is a static copy provided by the University of Southampton.
--- 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." altloc: - http://let.uvt.nl/general/people/rmuskens/pubs/relform.pdf chapter: ~ commentary: ~ commref: ~ confdates: ~ conference: ~ confloc: ~ contact_email: ~ creators_id: [] creators_name: - family: Muskens given: Reinhard honourific: '' lineage: '' date: 1989 date_type: published datestamp: 2006-01-21 department: ~ dir: disk0/00/00/47/03 edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 4703 fileinfo: /style/images/fileicons/application_pdf.png;/4703/1/relform.pdf|/style/images/fileicons/application_postscript.png;/4703/2/relform.ps full_text_status: public importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: 'type theory, semantics, eta operator, lambda operator' lastmod: 2011-03-11 08:56:19 latitude: ~ longitude: ~ metadata_visibility: show note: ~ number: ~ pagerange: 325-346 pubdom: FALSE publication: Linguistics and Philosophy publisher: ~ refereed: TRUE referencetext: ~ relation_type: [] relation_uri: [] reportno: ~ rev_number: 14 series: ~ source: ~ status_changed: 2007-09-12 17:01:52 subjects: - phil-lang - ling-sem - phil-logic succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ thesistype: ~ title: A Relational Formulation of the Theory of Types type: journalp userid: 6111 volume: 12