Multiple-conclusion logic - Shoesmith, D.J (Cambridge University Press, 1978)