Graduate studies at Western
Studia Logica 39 (2-3):311 - 324 (1980)
|Abstract||Montague  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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Yue J. Jiang (1993). An Intensional Epistemic Logic. Studia Logica 52 (2):259 - 280.
E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
Imre Ruzsa (1981). An Approach to Intensional Logic. Studia Logica 40 (3):269 - 287.
Petr Hájek & Vítězslav Švejdar (1991). A Note on the Normal Form of Closed Formulas of Interpretability Logic. Studia Logica 50 (1):25 - 28.
Makoto Tatsuta (1993). Uniqueness of Normal Proofs of Minimal Formulas. Journal of Symbolic Logic 58 (3):789-799.
Michael J. Carroll (1979). Reduction to First Degree in Quantificational S5. Journal of Symbolic Logic 44 (2):207-214.
Matt Fairtlough & Michael Mendler (2003). Intensional Completeness in an Extension of Gödel/Dummett Logic. Studia Logica 73 (1):51 - 80.
Edward N. Zalta (1988). A Comparison of Two Intensional Logics. Linguistics and Philosophy 11 (1):59-89.
Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..
Added to index2009-01-28
Total downloads3 ( #213,731 of 739,352 )
Recent downloads (6 months)1 ( #61,538 of 739,352 )
How can I increase my downloads?