Key points are not available for this paper at this time.
The theory has 3 parts: (a) A lexical entry defines the information about if in semantic memory; its core comprises 2 inferences schemas, Modus Ponens and a schema for Conditional Proof; the latter operates under a constraint that explains differences between if and the material conditional of standard logic. (b) A propositional-logic reasoning program specifies a routine for reasoning from information as interpreted to a conclusion. (c) A set of pragmatic principles governs how an if sentence is likely to be interpreted in context
Braine et al. (Mon,) studied this question.