What is a logical system? - Gabbay, Dov M. 1945- (Studies in logic and computation, 1994)