- See also
- References
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.
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).
See also
- Sequent calculus
References
1. ^D. J. Shoesmith and T. J. Smiley, Multiple Conclusion Logic, Cambridge University Press, 1978
{{logic-stub}} 1 : Logic
- Longissimus thoracis
- Longissimus thoracis muscle
- Long-Itchington
- Long Itchington
- Longitude Act
- Longitude by chronometer
- Longitude of node
- Longitude of periastron
- Longitude of the node
- Longitude problem
- Longitudes and Attitudes
- Longitudinal arch of the foot
- Longitudinal axis
- Longitudinal bands
- Longitudinal cerebral fissure
- Longitudinal Data
- Longitudinal data
- Longitudinal design
- Longitudinal electromagnetic wave
- Longitudinal facial crack
- Longitudinal incision
- Longitudinalis inferior
- Longitudinalis linguæ inferior
- Longitudinalis linguæ inferior muscle
- Longitudinalis linguæ superior