Pages that link to "Item:Q1802396"

The following pages link to A natural deduction system for discourse representation theory (Q1802396):

Displaying 4 items.

• E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora (Q513921) (← links)
• A calculus for first order discourse representation structures (Q1923839) (← links)
• Direct deductive computation on discourse representation structures (Q4312345) (← links)
• Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)