A natural deduction system for discourse representation theory.

Published in: J. Philos. Log. (1993)

Keyphrases

natural deduction
theoretical framework
inference rules
speech acts
multiscale
theorem prover
probabilistic model
theorem proving
general theory
discourse structure
cut elimination