Multiple-conclusion logic - Shoesmith D J; Smiley T J (Cambridge C U P, 1978)
Keywords: Mathematical logic