References
Asher, N.: 1986, ‘Belief in Discourse Representation Theory’,Journal of Philosophical Logic 5, 127–189.
Bonevac, D.: 1987,Deduction, Mayfield Publishing Company, Palo Alto, California.
Dummett, Michael: 1977,Elements of Intuitionism, Clarendon Press, Oxford.
Engdahl, Elisabeth: 1986,Constituent Questions, Reidel, Dordrecht.
Fitch, F. B.: 1952,Symbolic Logic, Ronald Press, New York.
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.
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).
Kalish, D. and R. Montague: 1964,Logic: Techniques of Formal Reasoning, Harcourt, Brace and World, New York.
Kamp, H. and U. Reyle: 1993,From Discourse to Logic, Vol I, Kluwer, Dordrecht.
Kamp, H.: 1985, ‘Context, Thought and Communication’,Proceedings of the Aristotelian Society 85, 239–261.
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.
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.
Saurer, Werner: 1991, ‘A Natural Deduction System for Discourse Representation Theory’,Journal of Philosophical Logic,22, 249–302.
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.
Wallen, L. A.: 1990,Automated Proof Search in Non-classical Logics, MIT Press.
Author information
Authors and Affiliations
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
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
Issue Date:
DOI: https://doi.org/10.1007/BF00985573