, between two sets of sentences (or propositions).
is typically interpreted as meaning that whenever each element of
This form of logic was developed in the 1970s by D. J. Shoesmith and Timothy Smiley[1] but has not been widely adopted.
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).
This logic-related article is a stub.