Skip to main content
SpringerLink
Log in

Direct deductive computation on discourse representation structures

  • 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

  • Asher, N.: 1986, ‘Belief in Discourse Representation Theory’,Journal of Philosophical Logic 5, 127–189.

    Google Scholar 

  • Bonevac, D.: 1987,Deduction, Mayfield Publishing Company, Palo Alto, California.

    Google Scholar 

  • Dummett, Michael: 1977,Elements of Intuitionism, Clarendon Press, Oxford.

    Google Scholar 

  • Engdahl, Elisabeth: 1986,Constituent Questions, Reidel, Dordrecht.

    Google Scholar 

  • Fitch, F. B.: 1952,Symbolic Logic, Ronald Press, New York.

    Google Scholar 

  • Gabbay, D. and U. Reyle: 1984, ‘N-Prolog: An Extension of Prolog with Hypothetical Implications’, in:Journal and Logic Programming, Vol. 1, 1984.

  • Gabbay, D.: 1985, ‘N-Prolog: An Extension of Prolog with Hypothetical Implications. Part II’,Journal of Logic Programming,4.

  • Gabbay, D. and F. Kriwaczek: 1990, ‘A Goal Directed Theorem Prover for Predicate Logic Based on Conjunctions and Implications’, in:Journal of Automated Reasoning.

  • Gabbay, D. and U. Reyle: 1991, ‘Resolution for Classical and Non-classical Logics’, ms. London.

  • Gabbay, D. and U. Reyle: 1993, ‘Computation with Run-Time-Skolemization (N-Prolog Part Ill)’,Journal of Applied Non-classical Logics 3(1), 93–128.

    Google Scholar 

  • Groenendijk, J. and M. Stokhof: 1984, ‘Interrogative Quantifiers and Skolem-Functions’, in J. Groenendijk and M. Stokhof,Studies on the Semantics of Questions and the Pragmatic of Answers (originally in K. Ehlich and H. van Riemsdijk (eds.),Connectedness in Sentence, Discourse and Text, Tilburg, 1983).

  • Hamblin, C.: 1976, ‘Questions in Montague English’, in B. Partee (ed.),Montague Grammar, Academic Press, New York, (originally inFoundations of Language 10, 1973).

    Google Scholar 

  • Kalish, D. and R. Montague: 1964,Logic: Techniques of Formal Reasoning, Harcourt, Brace and World, New York.

    Google Scholar 

  • Kamp, H. and U. Reyle: 1993,From Discourse to Logic, Vol I, Kluwer, Dordrecht.

    Google Scholar 

  • Kamp, H.: 1985, ‘Context, Thought and Communication’,Proceedings of the Aristotelian Society 85, 239–261.

    Google Scholar 

  • Kamp, H.: 1990, ‘Prolegomena to a Structural Account of Belief and other Attitudes’, in: C. A. Anderson and J. Owens (eds.):Propositional Attitudes, CSLI, 1990.

  • Kamp, H. and U. Reyle: 1991, ‘A Calculus for First Order Discourse Representation Structures’, SFB-Report, Stuttgart, 1991. Appears in:Theoretical Linguistics, 1994.

  • Karttunen, L.: 1977, ‘Syntax and Semantics of Questions’,Linguistics and Philosophy 1.

  • Kripke, S.: 1965, ‘Semantic Analysis of Intuitionistic Logic I’, in J. A. Crossley and M. A. E. Dummett (eds.),Formal Systems and Recursive Functions, North Holland, pp. 92–129.

  • Manna, Z. and R. Waldinger: 1980, ‘A Deductive Approach to Program Synthesis’,ACM Transactions on Programming Languages and System 2(1).

  • Manna, Z. and R. Waldinger: 1990,The Logical Basis for Computer Programming. Volume 2: Deductive Systems, Addison-Wesley.

  • Miller, D.: 1987, ‘A Compact Representation of Proofs’,Studia Logica 4, 347–370.

    Google Scholar 

  • Miller, D. and G. Nadathur: 1987, ‘A Logic Programming Approach to Manipulating Formulas and Programs’, in:Proceedings of the IEEE Symposium on Logic Programming, San Francisco, September 1987.

  • Robinson, J. A.: 1965, ‘A Machine-Oriented Logic Based on the Resolution Principle’, inJournal of the ACM 12(1), 23–41.

    Google Scholar 

  • Saurer, Werner: 1991, ‘A Natural Deduction System for Discourse Representation Theory’,Journal of Philosophical Logic,22, 249–302.

    Google Scholar 

  • Stickel, M.: 1982, ‘A Nonclausal Connection-Graph Resolution Theorem-Proving Program’, in:Proceedings of the AAAI.82 National Conference on Artificial Intelligence, Pennsylvania (August 1982), pp. 229–233.

  • Sundholm, G.: 1983, ‘Systems of Deduction’, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, Vol. 1, Reidel, Dordrecht.

    Google Scholar 

  • Wallen, L. A.: 1990,Automated Proof Search in Non-classical Logics, MIT Press.

Download references

Author information

Authors and Affiliations

  1. Institute for Computational Linguistics, University of Stuttgart, Kepler Str. 17, 7000, Stuttgart 1, Germany

    Uwe Reyle

  2. Department of Computing, Imperial College, 180 Queen's Gate, SW 7 2B, London, England

    Dov M. Gabbay

Authors
  1. Uwe Reyle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research partially supported by DFG through a grant to visit Imperial College during the academic year 1990/91.

SERC Senior Research Fellow.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Reyle, U., Gabbay, D.M. Direct deductive computation on discourse representation structures. Linguist Philos 17, 343–390 (1994). https://doi.org/10.1007/BF00985573

Download citation

  • Issue Date:

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

Keywords

Search

Navigation