A natural deduction system for discourse representation theory

DOI10.1007/BF01049304MaRDI QIDQ1802396zbMATH OpenFDO

Authors 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)

Recommendations

• A calculus for first order discourse representation structures
• scientific article; zbMATH DE number 28363
• Exclusively indexical deduction
• Direct deductive computation on discourse representation structures
• scientific article; zbMATH DE number 194155

Cited in

(8)

• Reasoning without believing: on the mechanisation of presuppositions and partiality
• scientific article; zbMATH DE number 1406020 (Why is no real title available?)
• A calculus for first order discourse representation structures
• scientific article; zbMATH DE number 194155 (Why is no real title available?)
• Direct deductive computation on discourse representation structures
• Exclusively indexical deduction
• E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora
• scientific article; zbMATH DE number 7441505 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802396)