A natural deduction system for discourse representation theory

DOI10.1007/BF01049304zbMath0787.03017MaRDI QIDQ1802396

Werner Saurer

Publication date: 19 August 1993

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

discourse semanticsdiscourse representation theoryFitch-style natural deduction calculus

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Natural language processing (68T50)

Related Items (4)

A calculus for first order discourse representation structures ⋮ Reasoning without believing: on the mechanisation of presuppositions and partiality ⋮ Direct deductive computation on discourse representation structures ⋮ E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A natural deduction system for discourse representation theory