Show simple item record

dc.contributor.authorRuhrberg, Peter
dc.date.accessioned2004-06-15T14:33:33Z
dc.date.available2004-06-15T14:33:33Z
dc.date.issued1996-07
dc.identifier.urihttp://hdl.handle.net/1842/520
dc.descriptionInstitute for Communicating and Collaborative Systems
dc.description.abstractI present a simple Simultaneous Abstraction Calculus, where the familiar lambda-abstraction over single variables is replaced by abstraction over whole sets of them. Terms are applied to partial assignments of objects to variables. Variants of the system are investigated and compared, with respect to their semantic and proof theoretic properties. The system overcomes the strict ordering requirements of the standard lambda-calculus,and is shown to provide the kind of "non-selective" binding needed for Dynamic Montague Grammar and Discourse Representation Theory. It is closely related to a more complex system, due to Peter Aczel and Rachel Lunon, and can be used for Situation Theory in a similar way. I present versions of these theories within an axiomatic, property-theoretic framework, based on Aczels Frege Structures. The aim of this work is to provide the means for integrating various semantic theories within a formal framework,so that they can share what is common between them, and adopt from each other what is compatible with them.en
dc.contributor.sponsorDAAD (German Academic Exchange Service)en
dc.format.extent190791 bytes
dc.format.extent521898 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Edinburgh. College of Science and Engineering. School of Informatics.en
dc.subject.otherSimultaneous Abstraction Calculusen
dc.subject.otherlamda-calculusen
dc.subject.otherDynamic Montague Grammaren
dc.subject.otherDiscourse Representation Theoryen
dc.titleSimultaneous Abstraction and Semantic Theoriesen
dc.typeThesis or Dissertation
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record