Multiple-conclusion logic. (English) Zbl 0381.03001
Cambridge etc.: Cambridge University Press. XIII, 396 p. £15.00 (1978).
MSC:
03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |
03F03 | Proof theory in general (including proof-theoretic semantics) |
03B22 | Abstract deductive systems |
03B50 | Many-valued logic |