Λ-normal forms in an intensional logic for English

Studia Logica 39:311 (1980)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
On the share of closed IL formulas which are also in GL.Vedran Čačić & Vjekoslav Kovač - 2015 - Archive for Mathematical Logic 54 (7-8):741-767.
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Modal pure type systems.Tijn Borghuis - 1998 - Journal of Logic, Language and Information 7 (3):265-296.
Reduction to first degree in quantificational S5.Michael J. Carroll - 1979 - Journal of Symbolic Logic 44 (2):207-214.

Analytics

Added to PP
2009-01-28

Downloads
45 (#536,322)

6 months
5 (#826,666)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
A parsing method for Montague grammars.Joyce Friedman & David S. Warren - 1978 - Linguistics and Philosophy 2 (3):347 - 372.

Add more references