A natural deduction system for discourse representation theory

DOI10.1007/BF01049304zbMATH Open0787.03017MaRDI QIDQ1802396FDOQ1802396

Authors: Werner Saurer 

Publication date: 19 August 1993

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Direct deductive computation on discourse representation structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exclusively indexical deduction
• Reasoning without believing: on the mechanisation of presuppositions and partiality
• E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora
• Title not available (Why is that?)
• A calculus for first order discourse representation structures

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)