References
Ades, Anthony E. and Mark J. Steedman: 1982, ‘On the Order of Words’,Linguistics and Philosophy 4, 517–558.
Ajdukiewicz, Kazimierz: 1935, ‘Die syntaktische Konnexitat’,Studia Philosophica 1, 1–27, translated in S. McCall (ed.),Polish Logic: 1920–1939, Oxford University Press, Oxford, pp. 207–231.
Anderson, A. R. and N. D. Belnap: 1975,Entailment, Volume 1, Princeton University Press, Princeton, N.J.
Avron, Arnon: 1988, ‘The Semantics and Proof Theory of Linear Logic’,Theoretical Computer Science 57, 161–184.
Bar-Hitlel, Yehoshua: 1953, ‘A Quasi-Arithmetical Notation for Syntactic Description’,Language 29, 47–58.
van Benthem, Johan: 1983,The Semantics of Variety in Categorial Grammar, Report 83-29, Department of Mathematics, Simon Fraser University. Also in W. Buszkowski et al. (eds.), 1988,Categorial Grammar, Volume 25, Linguistic & Literary Studies in Eastern Europe, John Benjamins, Amsterdam /Philadelphia.
van Benthem, Johan: 1986, ‘Categorial Grammar’, inEssays in Logical Semantics, Volume 8, Studies in Linguistics and Philosophy, D. Reidel, Dordrecht, pp. 123–150.
van Benthem, Johan: 1987, ‘Categorial Grammar and Type Theory’, Prepublication Series 87-07, Institute for Language, Logic and Information, University of Amsterdam.
van Benthem, Johan: 1988a, ‘The Lambek Calculus’, in R. Oehrle, E. Bach and D. Wheeler (eds.)Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht, pp. 35–68. Paper presented at the Conference on Categorial Grammar, Tucson, June 1985.
van Benthem, Johan: 1988b, ‘Strategies of Intensionalisation’, in I. M. Bodnár, A. Maté and L. Pólos (eds.),Intensional Logic, History of Philosophy, and Methodology, to Imre Ruzsa on the Occasion of his 65th Birthday, Filozófiai Figyelö, L. Eötvös University, Budapest, pp. 41–59.
Bull, Robert A. and Krister Segerberg: 1984, ‘Basic Modal Logic’, inHandbook of Philosophical Logic, Volume II, D. Reidel, Dordrecht, pp. 1–88.
Curry, Haskell B. and Robert Feys: 1958,Combinatory Logic, Volume I, North-Holland, Amsterdam.
Desclés, Jean-Pierre, Zlatka Guentchéva and Sebastian Shaumyan: 1986, ‘Theoretical Analysis of Reflexivisation in the Framework of Applicative Grammar’,Linguisticæ Investigationes X:1, 1–65.
Dowty, David R., Robert E. Wall and Stanley Peters: 1981,Introduction to Montague Semantics, D. Reidel, Dordrecht.
Gallin, Daniel: 1975,Intensional and Higher-Order Modal Logic with Applictions to Montague Semantics, North-Holland, Amsterdam.
Girard, Jean-Yves: 1987, ‘Linear Logic’,Theoretical Computer Science 50, 1–102.
Girard, Jean-Yves: 1989, ‘Towards a Geometry of Interaction’,Proceedings of the AMS Conference on Categories, Logic and Computer Science.
Girard, Jean-Yves and Yves Lafont: 1987, ‘Linear Logic and Lazy Computation’, TAPSOFT '87, Volume 2, LNCS 250, Springer-Verlag, Pisa, pp. 52–66.
Groenendijk, Jeroen and Martin Stokhof: 1984,Studies on the Semantics of Questions and the Pragmatics of Answers, Ph.D. dissertation, Centrale Interfaculteit, Amsterdam.
Groenendijk, Jeroen and Martin Stokhof: 1987, ‘Type-Shifting Rules and the Semantics of Interrogatives’, Prepublication Series 87-01, Institute for Language, Logic and Information, University of Amsterdam.
Hendriks, Herman: 1987, ‘Type Change in Semantics: the Scope of Quantification and Coordination’, Prepublication Series 87-09, Institute for Language, Logic and Information, University of Amsterdam.
Hepple, Mark and Glyn Morrill: 1989, ‘Parsing and Derivational Equivalence’,Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics.
Howard, W. A.: 1969, ‘The Formulae-as-Types notion of Construction’, ms. Appears in J. R. Hindley and J. P. Seldin (eds.) 1980,To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press.
Jackendoff, R.: 1972,Semantic Interpretation in Generative Grammar, MIT Press, Cambridge, Mass.
Janssen, Theo M. V.: 1983, ‘Foundations and Applications of Montague Grammar’, Ph.D. dissertation, Universiteit van Amsterdam, Mathematisch Centrum.
König, E.: 1989, ‘Parsing as Natural Deduction’,Proceedings of the Annual Meeting of the Association for Computational Linguistics.
Lambek, J.: 1958, ‘The Mathematics of Sentence Structure’,American Mathematical Monthly,65, 154–170.
Lambek, J.: 1961, ‘On the Calculus of Syntactic Types’, in R. Jakobson (ed.),Studies of Language and its Mathematical Aspects, American Mathematical Society, pp. 166–178.
Montague, Richard: 1973, ‘The Proper Treatment of Quantification in Ordinary English’, in J. Hintikka, J. M. E. Moravcsik and P. Suppes,Approaches to Natural Language, D. Reidel, Dordrecht. Reprinted in R. H. Thomason (ed.) (1974),Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven, pp. 247–270.
Moortgat, Michael: 1988,Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Foris, Dordrecht.
Moortgat, Michael: 1990, ‘Cut Elimination and the Elimination of Spurious Ambiguity’,Proceedings of the Seventh Amsterdam Colloquium, University of Amsterdam.
Morrill, Glyn: 1988,Extraction and Coordination in Phrase Structure Grammar and Categorial Grammar, Ph.D. dissertation, Centre for Cognitive Science, University of Edinburgh.
Morrill, Glyn: 1989a, ‘Intensionality, Boundedness, and Modal Logic’, Research Paper EUCCS/RP-32, Centre for Cognitive Science, University of Edinburgh.
Morrill, Glyn: 1989b, ‘Grammar as Logic’, Research Paper EUCCS/RP-34, Centre for Cognitive Science, University of Edinburgh.
Morrill, Glyn: 1990, ‘Grammar and Logical Types’,Proceedings of the Seventh Amsterdam Colloquium, University of Amsterdam.
Ono, Hiroakira: (to appear), ‘Structural Rules and a Logical Hierarchy’, inProceedings of the Conference on Mathematical Logic and its Applications, 1988, North-Holland, Amsterdam.
Partee, Barbara and Mats Rooth: 1983, ‘Generalized Conjunction and Type Ambiguity’, in R. Bäuerle, C. Schwarze and A. von Stechow (eds.),Meaning, Use, and Interpretation of Language, Volume 6, Linguistic Analysis, de Gruyter, Berlin, pp. 53–95.
Partee, Barbara H.: 1986, ‘Noun Phrase Interpretation and Type-Shifting Principles’, in J. Groenendijk, D. de Jongh and M. Stokhof (eds.),Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, Groningen-Amsterdam Studies in Semantics, Foris, Dordrecht, pp. 189–215.
Pollard, Carl and Ivan A. Sag: 1989, ‘Anaphors in English and the Scope of Binding’, ms., Carnegie Mellon University.
Popowich, Fred P.: 1988,Reflexives and Tree Unification Grammar, Ph.D. dissertation, Centre for Cognitive Science, University of Edinburgh.
Prawitz, D.: 1965,Natural Deduction, Almqvist and Wiksell, Stockholm.
Prijatelj, Andreja: 1989, ‘Intensional Lambek Calculi: Theory and Application’, Prepublication Series 89-06, Institute for Language, Logic and Information. University of Amsterdam.
Steedman, Mark: 1985, ‘Dependency and Coordination in the Grammar of Dutch and English’,Language 61, 523–568.
Steedman, Mark: 1987, ‘Combinatory Grammars and Parasitic Gaps’,Natural Language and Linguistic Theory,5, 403–439.
Szabolcsi, Anna: 1983, ‘ECP in Categorial Grammar’, ms. Max Planck Institute, Nijmegen.
Szabolcsi, Anna: 1987, ‘Bound Variables in Syntax’,Proceedings of the Sixth Amsterdam Colloquium, Institute for Language, Logic and Information, University of Amsterdam, pp. 331–351.
Wansing, Heinrich: 1989, ‘Relevant Quasi-Deductions, Weak Implicational Logics, and Operational Semantics’, ms. Institut für Philosophic, Freie Universität Berlin.
Author information
Authors and Affiliations
Additional information
The research reported here was carried out under an SERC Postdoctoral Fellowship, and benefited by support from Esprit Basic Research Action No. 3175 (Dyana). I thank Guy Barry, Johan van Benthem, Jaap van der Does, Anna Gavarró, Elisabet Engdahl, Martin Emms, Herman Hendriks, Mark Hepple, Esther König, Marcus Kracht, Neil Leslie, Michael Moortgat, Pete Whitelock, Frans Zwarts, and Linguistics and Philosophy refereeing. All errors are my own.
Rights and permissions
About this article
Cite this article
Morrill, G. Intensionality and boundedness. Linguist Philos 13, 699–726 (1990). https://doi.org/10.1007/BF00627513
Issue Date:
DOI: https://doi.org/10.1007/BF00627513