A multiple-conclusion logic is one in which logical consequence is a relation,
\vdash
\Gamma\vdash\Delta
\Gamma
\Delta
\Delta
\Gamma
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).