Multiple-conclusion logic. - Shoesmith, D.J.; Smiley, Timothy John (Cambridge : Cambridge University Press, 1978)