Multiple-conclusion logic (original) (raw)

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 and Timothy Smiley but has not been widely adopted.