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.