Skip to main content
SpringerLink
Log in

Intuitionistic categorial grammar

  • 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

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

  • Ahn, R. and H.-P. Kolb: 1989, ‘Discourse Representation Meets Constructive Mathematics’, to appear inThe Proceedings of the Second Symposium on Logic and Language, held at Hajdúszoboszló in September 1989.

  • Benthem, J. van: 1988, ‘The Semantics of Variety in Categorial Grammar’, in W. Buszkowski, W. Marciszewski, and J. van Benthem (eds.),Categorial Grammar, John Benjamins Publishing Co., Amsterdam and Philadelphia.

    Google Scholar 

  • Bruijn, N. G. de: 1970, ‘The Mathematical Language AUTOMATH, its Usage and Some of its Extensions’, inLecture Notes in Mathematics 125, 29–61.

    Google Scholar 

  • Coquand, Th. and G. Huet: 1988, ‘The Calculus of Constructions’, inInformation and Computation 76, 95–120.

    Google Scholar 

  • Curry, H. B. and R. Feys: 1958,Combinatory Logic, Vol. 1, North-Holland, Amsterdam, 1958.

    Google Scholar 

  • Frege, G.: 1879,Begriffsschrift, Verlag von Louis Nebert, Halle.

    Google Scholar 

  • Geach, G.: 1962,Reference and Generality, Cornell University Press, Ithaca, New York.

    Google Scholar 

  • Geach, G.: 1972, ‘A Program for Syntax’, in D. Davidson and G. Harman (eds.),Semantics of Natural Language, D. Reidel, Dordrecht, pp. 483–497.

    Google Scholar 

  • Groenendijk, J. and M. Stokhof: ‘Dynamic Predicate Calculus’, ITLI Prepublication series LP-89-02, to appear inLinguistics and Philosophy.

  • Groenendijk, J. and M. Stokhof: ‘Dynamic Montague Grammar’, ITLI Prepublication Series LP-90-02.

  • Harper, R., F. Honsell, and G. Plotkin: 1987, ‘A Framework for Defining Logics’,Proceedings of the Symposium on Loic in Computer Science, Ithaca, New York, pp. 194–204.

    Google Scholar 

  • Heyting, A.: 1956,Intuitionism, North-Holland, Amsterdam.

    Google Scholar 

  • Hintikka J. and L. Carlson: 1979, ‘Conditionals, Generic Quantifiers, and other Applications of Subgames’, E. Saarinen (ed.),Game-Theoretical Semanics, D. Reidel, Dordrecht, pp. 179–214.

    Google Scholar 

  • Hintikka, J. and J. Kulas: 1985,Anaphora and Definite Descriptions, D. Reidel, Dordrecht.

    Google Scholar 

  • Howard, W.: 1980, ‘The Formulae-as-Types Notion of Construction’, J. P. Seldin and J. R. Hindley (eds.),To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, London, pp. 479–490.

    Google Scholar 

  • Kamp, H.: 1981, ‘A Theory of Truth and Semantic Representation’, in J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof (eds.),Formal Methods in the Study of Language, Part 1, Mathematical Centre Tracts 135, Mathematisch Centrum, Amsterdam, pp. 277–322.

    Google Scholar 

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

    Google Scholar 

  • Martin-Löf, P.: 1975, ‘An Intuitionistic Theory of Types: Predicative Part’, H. E. Rose and J. C. Shepherdson (eds.), inLogic Colloquium '73, North-Holland, Amsterdam, pp. 73–118.

    Google Scholar 

  • Martin-Löf, P.: 1982, ‘Constructive Mathematics and Computer Programming’, in L. J. Cohen, J. Los, H. Pfeiffer, and K.-P. Podewski (eds.),Logic, Methodology, and Philosophy of Science VI, North-Holland, Amsterdam, pp. 153–175.

    Google Scholar 

  • Martin-Löf, P.: 1984,Intuitionistic Type Theory, Bibliopolis, Napoli.

    Google Scholar 

  • Montague, R.: 1974,Formal Philosophy, Collected papers edited by R. Thomason, Yale University Press, New Haven.

    Google Scholar 

  • Mäenpää, P. and A. Ranta: 1989, ‘An Implementation of Intuitionistic Categorial Grammar’, to appear inThe Proceedings of the Second Symposium on Logic and Language held at Hajdúszoboszló in September 1989.

  • Nordström, B., K. Petersson, and J. Smith: 1990,Programminq in Martin-Löf's Type Theory. An Introduction, Oxford University Press, Oxford.

    Google Scholar 

  • Ranta, A.: 1988, ‘Propositions as Games as Types’, Synthese76, 377–395.

    Google Scholar 

  • Ranta, A.: 1990, ‘Anaphora in Game-Theoretical Semantics and in Intuitionistic Type Theory’, to appear in L. Haaparanta, M. Kusch, and I. Niiniluoto (eds.),Language, Knowledge, and Intentionality — Perspectives in the Philosophy of Jaakko Himikka, Acta Philosophica Fennica, Societas Philosophica Fennica, Helsinki.

    Google Scholar 

  • Ranta, A.: ‘Meaning in Text’, mimeographed, University of Stockholm; forthcoming.

  • Sundholm, G.: 1986, ‘Proof Theory and Meaning’, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, Vol. 3, D. Reidel, Dordrecht, pp. 471–516.

    Google Scholar 

  • Sundholm, G.: 1989, ‘Constructive Generalized Quantifiers’,Synthese 79, 1–12.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Academy of Finland, and Department of Philosophy, University of Helsinki, Unioninkatu 40B, 00170, Helsinki, Finland

    Aarne Ranta

Authors
  1. Aarne Ranta
    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

Ranta, A. Intuitionistic categorial grammar. Linguist Philos 14, 203–239 (1991). https://doi.org/10.1007/BF00627403

Download citation

  • Issue Date:

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

Keywords

Search

Navigation