Inference Web: Portable Explanations for the Web

Inference rules (such as modus ponens) can be used to deduce a consequent (a well formed formula) from any number of antecedents (also well formed formulae). An inference step is a single application of an inference rule. ................
................