Skip to main content
SpringerLink
Log in

Categorial grammar and type theory

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

References

  • A. Ades & M. Steedman, 1982, ‘On the Order of Words’, Linguistics and Philosophy 4, 517–558.

    Google Scholar 

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

    Google Scholar 

  • E. Bach, 1984, ‘Some Generalizations of Categorial Grammars’, in F. Landman & F. Veltman, eds., 1984, 1–23.

  • H. Barendregt, 1981, The Lambda Calculus. Its Syntax and Semantics, North-Holland, Amsterdam.

    Google Scholar 

  • R. Bartsch, P. van Emde Boas & J. van Benthem, eds., to appear, Meaning and Contextual Expression, Foris, Dordrecht and Cinnaminson.

  • R. Bauerle, C. Schwarze & A. von Stechow, eds., 1983, Meaning, Use and Interpretation of Language, De Gruyter, Berlin.

    Google Scholar 

  • J. van Benthem, 1986a, Essays in Logical Semantics, Reidel, Dordrecht and Boston.

    Google Scholar 

  • J. van Benthem, 1986b, ‘The Relational Theory of Meaning’, Logique et Analyse 29, 251–273.

    Google Scholar 

  • J. van Benthem, 1987a, ‘Categorial Equations’, in E. Klein & J. van Benthem, eds., 1988, 1–17.

  • J. van Benthem, 1987b, ‘Categorial Grammar and Lambda Calculus’, in D. Skordev, ed., 1987, 39–60.

  • J. van Benthem, 1987c, ‘Semantic Type Change and Syntactic Recognition’, in G. Chierchia, B. Partee & R. Turner, eds., 1988, 231–249.

  • J. van Benthem, 1987d, ‘Strategies of Intensionalization’, in I. Bodnar, A. Mate & L. Polos, eds., 1988, 41–59.

  • J. van Benthem, 1987e, ‘The Lambek Calculus’, in R. Oehrle, E. Bach & D. Wheeler, eds., 1988, 35–68.

  • J. van Benthem, 1988a, ‘Categorial Grammar Meets Unification’, in J. Wedekind et al., eds., to appear.

  • J. van Benthem, 1988b, ‘Logical Constants across Varying Types’, report LP-88-05, Institute for Language, Logic and Information, University of Amsterdam (appeared in the Notre Dame Journal of Formal Logic 30(3), 1989, 315–342).

  • J. van Benthem, 1988c, ‘Semantic Parallels in Natural Language and Computation’, report LP-88-06, Institute for Language, Logic and Information, University of Amsterdam (appeared in H.-D. Ebbinghaus et al., eds., 1989, Logic Colloquium, Granada 1987. North Holland, Amsterdam, 331–375).

  • J. van Benthem, 1988d, ‘The Fine-Structure of Categorial Semantics’, in M. Rosner, ed., to appear.

  • J. van Benthem, 1988e, ‘What is Extensionality?’, in I. Bodnar, ed., to appear.

  • J. van Benthem, 1989, ‘Language in Action’, Institute for Language, Logic and Information, University of Amsterdam.

  • I. Bodnar, ed., to appear, Annals of the Lorand Eotvos University, 1988. Dept. of Symbolic Logic, Lorand Eotvos University, Budapest.

    Google Scholar 

  • I. Bodnar, A. Mate & L. Polos, eds., 1988, A Filozofiai Figyelo Kiskonyvtara, Philosophical Institute, Lorand Eotvos University, Budapest.

    Google Scholar 

  • G. Bouma, 1987, ‘Flexible Phrase Structure Grammars and Categorial Unification Grammars’, Institut fuer Romanistik/Linguistik, University of Stuttgart.

  • W. Buszkowski, 1982, Lambek's Categorial Grammars, dissertation, Mathematical Institute, Adam Mickiewicz University, Poznan.

  • W. Buszkowski, 1986, ‘Completeness Results for Lambek Syntactic Calculus’, Zeitschrift fuer mathematische Logik und Grundlagen der Mathematik 32, 13–28.

    Google Scholar 

  • W. Buszkowski, 1987, ‘Hilbert-Style Axiomatization for the Lambek-van Benthem Calculus’, Mathematical Institute, Adam Mickiewicz University, Poznan.

    Google Scholar 

  • W. Buszkowski, 1988, ‘Generative Power of Categorial Grammars’, in R. Oehrle, E. Bach & D. Wheeler, eds., 1988, 69–94.

  • W. Buszkowski, W. Marciszewski & J. van Benthem, eds., 1988, Categorial Grammar, John Benjamin, Amsterdam and Philadelphia.

    Google Scholar 

  • G. Chierchia, B. Partee & R. Turner, eds., 1988, Properties, Types and Meaning, vol. I, Reidel, Dordrecht and Boston.

    Google Scholar 

  • D. Davidson and G. Harman, eds., 1972, Semantics of Natural Language, Reidel, Dordrecht and Boston.

    Google Scholar 

  • H. Doets and J. van Benthem, 1983, ‘Higher-Order Logic’, in D. Gabbay & F. Guenthner, eds., 1983, 275–329.

  • K. Dosen, 1986, ‘Sequent Systems and Groupoid Models’, Mathematical Institute, Serbian Academy of Sciences, Belgrade (appeared in Studia Logica 47, 1988, 353–385).

    Google Scholar 

  • H.-D. Ebbinghaus et al., eds., 1989, Logic Colloquium. Granada 1987, North-Holland, Amsterdam.

    Google Scholar 

  • J. van Eyck, 1985, Aspects of Quantification in Natural Language, dissertation, Philosophical Institute, University of Groningen. (To appear in Studies in Linguistics and Philosophy, Reidel, Dordrecht and Boston.)

  • J. Friedman & R. Venkatesan, 1986, ‘Categorial and Non-Categorial Languages’, Technical Report 861005, Computer Science Department, Boston University.

  • D. Gabbay & F. Guenthner, eds., 1983, Handbook of Philosophical Logic, vol. I (Elements of Classical Logic), Reidel, Dordrecht and Boston.

    Google Scholar 

  • D. Gabbay & F. Guenthner, eds., 1984, Handbook of Philosophical Logic, vol. II (Extensions of Classical Logic), Reidel, Dordrecht and Boston.

    Google Scholar 

  • D. Gallin, 1975, Systems of Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam.

    Google Scholar 

  • P. Geach, 1972, ‘A Program for Syntax’, in D. Davidson & G. Harman, eds., 1972, 483–497.

  • J-Y. Girard, 1987, ‘Linear Logic’, Theoretical Computer Science 50, 1–102.

    Article  MATH  Google Scholar 

  • J. Groenendijk & M. Stokhof, 1987a, ‘Dynamic Predicate Logic’, Institute for Language, Logic and Information, University of Amsterdam.

  • J. Groenendijk & M. Stokhof, 1987b, ‘Type-Shifting Rules and the Semantics of Interrogatives’, in G. Chierchia, B. Partee & R. Turner, eds., 1988, 21–68.

  • N. Haddock, E. Klein & G. Morrill, eds., 1987, Categorial Grammar, Unification Grammar and Parsing, Centre for Cognitive Science, University of Edinburgh.

  • D. Harel, 1984, ‘Dynamic Logic’, in D. Gabbay & F. Guenthner, eds., 1984, 497–604.

  • H. Hendriks, 1987, ‘Type Change in Semantics: the Scope of Quantification and Coordination’, in E. Klein & J. van Benthem, eds., 1988, 95–120.

  • J. Hoeksema, 1988, ‘The Semantics of Non-Boolean “And”,’ Journal of Semantics 6, 19–40.

    Google Scholar 

  • G. Hoppenbrouwers, P. Seuren & A. Weyters, eds., 1987, Meaning and the Lexicon, Foris, Dordrecht and Cinnaminson.

    Google Scholar 

  • L. Horn, 1987, ‘Aristotle as a Montague Grammarian’, talk presented at the ASL/LSA Colloquium on Logic and Linguistics, July 1987, Stanford University.

  • J. Houtman, 1987, ‘Coordination in Dutch’, in E. Klein & J. van Benthem, eds., 1988, 122–145.

  • R. Kasper & W. Rounds, 1987, ‘The Logic of Unification in Grammar’, Linguistics and Philosophy, to appear.

  • E. Keenan, 1987, ‘Semantic Case Theory’, in R. Bartsch, P. van Emde Boas & J. van Benthem, eds., to appear.

  • E. Keenan & L. Faltz, 1985, Boolean Semantics for Natural Language, Reidel, Dordrecht and Boston.

    Google Scholar 

  • E. Klein, 1987, ‘Discourse Representation Theory in Unification Categorial Grammar’, Centre for Cognitive Science, University of Edinburgh.

  • E. Klein & J. van Benthem, eds., 1988, Categories, Polymorphism and Unification, Centre for Cognitive Science, University of Edinburgh/Institute for Language, Logic and Information, University of Amsterdam.

  • J. Lambek, 1958, ‘The Mathematics of Sentence Structure’, American Mathematical Monthly 65, 154–170.

    Google Scholar 

  • J. Lambek, 1987, ‘Categorial and Categorical Grammars’, in R. Oehrle, E. Bach & D. Wheeler, eds., 1988, 297–317.

  • F. Landman & F. Veltman, eds., 1984, Varieties of Formal Semantics, Foris, Dordrecht and Cinnaminson.

    Google Scholar 

  • T. Langholm, 1987, Partiality, Truth and Persistence, dissertation, Department of Philosophy, Stanford University. (Appeared in CSLI Lecture Notes, Chicago University Press, 1988.)

  • R. Montague, 1974, Formal Philosophy, Yale University Press, New Haven (R. Thomason, ed.).

    Google Scholar 

  • M. Moortgat, 1984, ‘Functional Composition and Complement Inheritance’, in G. Hoppenbrouwers, P. Seuren & A. Weyters, eds., 1987, 38–49.

  • M. Moortgat, 1985, ‘Mixed Composition and Discontinuous Dependencies’, in R. Oehrle, E. Bach & D. Wheeler, eds., 1988, 319–348.

  • M. Moortgat, 1987, ‘Lambek Theorem Proving’, in E. Klein & J. van Benthem, eds., 1988, 169–200.

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

    Google Scholar 

  • R. Muskens, 1986, ‘A Relational Formulation of the Theory of Types’, report 86-04, Institute for Language, Logic and Information, University of Amsterdam. Appeared in Linguistics and Philosophy 12(3), 1989, 325–346.)

  • R. Oehrle, E. Bach & D. Wheeler, eds., 1988, Categorial Grammars and Natural Language Structures, Reidel, Dordrecht and Boston.

    Google Scholar 

  • R. Pareschi and M. Steedman, 1987, ‘A Lazy Way to Chart-Parse with Categorial Grammars’, Proceedings 25th Annual Meeting of the Association for Computational Linguistics. Stanford 1987.

  • B. Partee & M. Rooth, 1983, ‘Generalized Conjunction and Type Ambiguity’, in R. Bauerle, C. Schwarze & A. von Stechow, eds., 1983, 361–383.

  • G. Plotkin, 1980, ‘Lambda Definability in the Full Type Hierarchy’, in J. Seldin & J. Hindley, eds., 1980, 363–373.

  • M. Rosner, ed., to appear, Computational Linguistics and Formal Semantics. Lugano Summer School 1988, Cambridge University Press, Cambridge.

  • J. Seldin & J. Hindley, eds., 1980, To H. B. Curry. Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York.

    Google Scholar 

  • D. Skordev, ed., 1987, Mathematical Logic and its Applications. Druzhba Summer School 1986, Plenum Press, New York.

    Google Scholar 

  • M. Steedman, 1985, ‘Dependency and Coordination in the Grammar of Dutch and English’, Language 61, 523–568.

    Google Scholar 

  • A. Szabolcsi, 1987, ‘Bound Variables in Syntax (Are there Any?)’, in R. Bartsch, P. van Emde Boas & J. van Benthem, eds., to appear.

  • B. Trakhtenbrot, 1986, ‘On ‘Logical Relations’ in Program Semantics’, in D. Skordev, ed., 1987, 213–229.

  • H. Uszkoreit, 1986, ‘Categorial Unification Grammars’, Proceedings of the 11th International Conference on Computational Linguistics. Bonn 1986, 187–194.

  • J. Wedekind et al., eds., to appear, Unification Formalisms: Syntax, Semantics and Implementation, Institute for Computational Linguistics, University of Stuttgart.

  • H. Zeevat, E. Klein & J. Calder, 1987, ‘An Introduction to Unification Categorial Grammar’, in N. Haddock, E. Klein & G. Morrill, eds., 1987, 195–222.

  • F. Zwarts, 1986, Categoriale Grammatica en Algebraische Semantiek, proefschrift, Nederlands Instituut, Rijksuniversiteit, Groningen.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands

    Johan Van Benthem

Authors
  1. Johan Van Benthem
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Van Benthem, J. Categorial grammar and type theory. J Philos Logic 19, 115–168 (1990). https://doi.org/10.1007/BF00263539

Download citation

  • Issue Date:

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

Keywords

Search

Navigation