Infinitary logic logical axiom, an element of T, or is deduced from previous statements using a rule of inference. As before, all rules of inference in finitary logic can be used, together with an additional one: The logical axiom schemata specific to infinitary logic are presented below. Global schemata variables: formula_3 and formula_18 such that formula_23. The last two axiom schemata require the axiom of choice because certain sets must be well orderable. The last axiom schema is strictly speaking unnecessary as Chang's distributivity laws imply it, however it is included as a natural way to allow natural weakenings to the logic.
Connexive logic the consequent, such as might be the result of real class inclusion relations. For example, the class relations, "All men are mortal," would provide a real connection that would warrant the conditional, "If Socrates is a man, then Socrates is mortal." However, more remote connections, for example "If she apologized to him, then he lied to me," (suggested by Bennett) still defy connexivist analysis. Connexive logic Connexive logic names one class of alternative, or non-classical, logics designed to exclude the so-called paradoxes of material implication. (Other logical theories with the same agenda include relevance logic, also known as relevant logic.)