Corpus ID: 14586065

Conditionals and Pseudo-Conditionals in Mathematical Texts

@inproceedings{Zinn2009ConditionalsAP,
  title={Conditionals and Pseudo-Conditionals in Mathematical Texts},
  author={C. Zinn},
  year={2009}
}
  • C. Zinn
  • Published 2009
  • Conditionals are the basic ingredient of a mathematical argument. We present an analysis of conditionals and pseudo-conditional in mathematical discourse, and then propose a computational framework for the (re-)construction and semantic representation of conditional dependencies. 

    Figures from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 21 REFERENCES
    Verbalization of High-Level Formal Proofs
    • 47
    • PDF
    On Context Dependence In Modal Constructions
    • 178
    • Highly Influential
    Anaphora and Discourse Structure
    • 257
    • PDF
    Logics of Conversation
    • 1,336
    • PDF
    Implication : A survey of the different logical analyses of 'if ..., then ...'
    • 10
    • PDF
    FREE CHOICE DISJUNCTION AND EPISTEMIC POSSIBILITY*
    • 108
    • PDF
    Handbook of writing for the mathematical sciences
    • 109
    • PDF
    The Use of Explicit Plans to Guide Inductive Proofs
    • 439
    • PDF
    Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
    • 56
    • PDF
    Omega: Towards a Mathematical Assistant
    • 139
    • PDF