A calculus for first order discourse representation structures

Journal of Logic, Language and Information

Volumn 5, Issue 3-4, 1996, Pages 297-348

  Kamp, Hans ^a   Reyle, Uwe ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33748781475     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1007/BF00159343     Document Type: Article

References (9)

1. Bonevac, D., 1986, Deduction. Introductory Symbolic Logic, Palo Alto, California: Mayfield.
2. Kalish, D. and Montague, R., 1964, Logic. Techniques of Formal Reasoning, New York: Harcourt, Bran & World.
3. Kamp, H. and Reyle, U., 1993, From Discourse to Logic, Vol. I, Dordrecht: Kluwer.
4. Gabbay, Dov and Reyle, U. "Direct deductive computation on discourse representation structures," to appear in: Linguistics and Philosophy.
5. Guenthner, F., Lehmann, H., and Schoenfeld, W., 1986, "A theory for the representation of knowledge," IBM Journal of Research and Development 30, 1.
6. Koons, R., 1988, "Deduction system for DRT," manuscript, Austin, Texas.
7. Reinhart, K., 1989, "Deduktion auf Diskursreprä sentationsstrukturen," Studienarbeit, University of Stuttgart.
8. Saurer, W., 1990, "A natural deduction system for discourse representation theory," Journal of Philosophical Logic 22, 249-302.
9. Sedogbo, C. and Eytan, M., 1987, "A tableau calculus for DRT," Bull Report 1987, France.