A multiple-conclusion logic is one in which logical consequence is a relation, , between two sets of sentences (or propositions). is typically interpreted as meaning that whenever each element of is true, some element of is true; and whenever each element of is false, some element of is false.
Some logicians favor a multiple-conclusion consequence relation over the more traditional single-conclusion relation on the grounds that the latter is asymmetric (in the informal, non-mathematical sense) and favors truth over falsity (or assertion over denial).
- D. J. Shoesmith and T. J. Smiley, Multiple Conclusion Logic, Cambridge University Press, 1978
|This logic-related article is a stub. You can help Wikipedia by expanding it.|