Skip to main content
Log in

Intensionality and boundedness

  • Published:
Linguistics and Philosophy Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Ades, Anthony E. and Mark J. Steedman: 1982, ‘On the Order of Words’,Linguistics and Philosophy 4, 517–558.

    Google Scholar 

  • 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.

    Google Scholar 

  • Anderson, A. R. and N. D. Belnap: 1975,Entailment, Volume 1, Princeton University Press, Princeton, N.J.

    Google Scholar 

  • Avron, Arnon: 1988, ‘The Semantics and Proof Theory of Linear Logic’,Theoretical Computer Science 57, 161–184.

    Google Scholar 

  • Bar-Hitlel, Yehoshua: 1953, ‘A Quasi-Arithmetical Notation for Syntactic Description’,Language 29, 47–58.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Bull, Robert A. and Krister Segerberg: 1984, ‘Basic Modal Logic’, inHandbook of Philosophical Logic, Volume II, D. Reidel, Dordrecht, pp. 1–88.

    Google Scholar 

  • Curry, Haskell B. and Robert Feys: 1958,Combinatory Logic, Volume I, North-Holland, Amsterdam.

    Google Scholar 

  • 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.

    Google Scholar 

  • Dowty, David R., Robert E. Wall and Stanley Peters: 1981,Introduction to Montague Semantics, D. Reidel, Dordrecht.

    Google Scholar 

  • Gallin, Daniel: 1975,Intensional and Higher-Order Modal Logic with Applictions to Montague Semantics, North-Holland, Amsterdam.

    Google Scholar 

  • Girard, Jean-Yves: 1987, ‘Linear Logic’,Theoretical Computer Science 50, 1–102.

    Google Scholar 

  • 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.

    Google Scholar 

  • Groenendijk, Jeroen and Martin Stokhof: 1984,Studies on the Semantics of Questions and the Pragmatics of Answers, Ph.D. dissertation, Centrale Interfaculteit, Amsterdam.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Moortgat, Michael: 1988,Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Foris, Dordrecht.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Steedman, Mark: 1987, ‘Combinatory Grammars and Parasitic Gaps’,Natural Language and Linguistic Theory,5, 403–439.

    Google Scholar 

  • Szabolcsi, Anna: 1983, ‘ECP in Categorial Grammar’, ms. Max Planck Institute, Nijmegen.

    Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

Authors

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

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00627513

Keywords

Navigation