λ-Normal forms in an intensional logic for English
dc.contributor.author | Friedman, Joyce | en_US |
dc.contributor.author | Warren, David S. | en_US |
dc.date.accessioned | 2006-09-11T13:52:40Z | |
dc.date.available | 2006-09-11T13:52:40Z | |
dc.date.issued | 1980-06 | en_US |
dc.identifier.citation | Friedman, Joyce; Warren, David S.; (1980). "λ-Normal forms in an intensional logic for English." Studia Logica 39 (2-3): 311-324. <http://hdl.handle.net/2027.42/43814> | en_US |
dc.identifier.issn | 0039-3215 | en_US |
dc.identifier.issn | 1572-8730 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/43814 | |
dc.description.abstract | Montague [7] translates English into a tensed intensional logic, an extension of the typed λ -calculus. We prove that each translation reduces to a formula without λ -applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of English phrases have the special property that arguments to functions are modally closed. We then show that formulas in which arguments are modally closed have a unique fully reduced λ -normal form. As a corollary, translations of English phrases are contained in a simply defined proper subclass of the formulas of the intensional logic. | en_US |
dc.format.extent | 937546 bytes | |
dc.format.extent | 3115 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language.iso | en_US | |
dc.publisher | Kluwer Academic Publishers; Polish Academy of Sciences ; Springer Science+Business Media | en_US |
dc.subject.other | Philosophy | en_US |
dc.subject.other | Mathematical Logic and Foundations | en_US |
dc.subject.other | Computational Linguistics | en_US |
dc.subject.other | Logic | en_US |
dc.title | λ-Normal forms in an intensional logic for English | en_US |
dc.type | Article | en_US |
dc.subject.hlbsecondlevel | Mathematics | en_US |
dc.subject.hlbtoplevel | Science | en_US |
dc.description.peerreviewed | Peer Reviewed | en_US |
dc.contributor.affiliationum | Department of Computer and Communication Sciences, The University of Michigan, 48109, Ann Arbor, Michigan | en_US |
dc.contributor.affiliationum | Department of Computer and Communication Sciences, The University of Michigan, 48109, Ann Arbor, Michigan | en_US |
dc.contributor.affiliationumcampus | Ann Arbor | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/43814/1/11225_2004_Article_BF00370327.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1007/BF00370327 | en_US |
dc.identifier.source | Studia Logica | en_US |
dc.owningcollname | Interdisciplinary and Peer-Reviewed |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.