Skip to main content
SpringerLink
Log in

Logical investigations on ptq arising from programming requirements

  • Published:
Synthese 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

  • Bennett, M.R.: 1974, Some extensions of a Montague fragment of English, dissertation, Univ. of California, Los Angeles, published by Xerox University Microfilms.

    Google Scholar 

  • Friedman, J. and D. Warren: 1978a, ‘A parsing system for Montague grammar’, Linguistics and Philosophy 2, 347–373.

    Google Scholar 

  • Friedman, J. and D. Warren: 1978b, Notes on an intensional logic for English II. Lambda-normal forms, Report N-10A, Dept. of Computer and Communication Sciences, the Univ. of Michigan, Ann Arbor (Mich).

    Google Scholar 

  • Friedman, J. and D. Warren: 1979, Notes on an intensional logic of English III. Extensional forms, Report N-13, Dept. of Computer and Communication Sciences, the Univ. of Michigan, Ann Arbor (Mich.).

    Google Scholar 

  • Gallin, D.: 1975, Intensional and higher-order model logic, Mathematics Studies 17, North Holland.

    Google Scholar 

  • Groenendijk, J. and M. Stokhof: 1976, ‘Some notes on personal pronouns, reflexives and sloppy identity’, in K. Braunmüller and W. Kürschner (eds.), Grammatik, Akten des 10. linguistischen Kolloquiums. Band 2, Niemeyer Verlag, Tübingen, 1976, pp. 301–319.

    Google Scholar 

  • Montague, R.: 1973, ‘The proper treatment of quantification in ordinary English’, in K.J.J. Hintikka, J.M.E. Moravcsik & P. Suppes (eds.), Approaches to natural language, Synthese Library 49, Reidel, Dordrecht, 1973, pp. 221–242. Reprinted in Thomason 1974, pp. 247–270.

    Google Scholar 

  • Partee, B.: 1978, ‘Montague grammar and transformational grammar’, Linguistic Inquiry 6, 203–300.

    Google Scholar 

  • Thomason, R.H. (ed.): 1974, Formal philosophy. Selected papers of Richard Montague, Yale University Press, New Haven.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stichting Mathematisch Centrum, Tweede Boerhaavestr. 49, 1091 AL, Amsterdam

    Theo M. V. Janssen

Authors
  1. Theo M. V. Janssen
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This article is a revision and extension of a paper presented at the first Amsterdam Colloquium on Montague grammar and related topics (January 1976). I am indebted to Johan van Benthem, Peter van Emde Boas, Joyce Friedman, Jeroen Groenendijk, Ewan Klein, Martin Stokhof, Zeno Swijtink, and Jeff Zucker for their remarks in several stages of the work on this subject.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Janssen, T.M.V. Logical investigations on ptq arising from programming requirements. Synthese 44, 361–390 (1980). https://doi.org/10.1007/BF00413467

Download citation

  • Issue Date:

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

Keywords

Search

Navigation