A General Theory of Structured Consequence Relations
Dov M. Gabbay · 1993
Abstract We want to give an answer to the following question: What is a logical system? Obviously our starting point should be a language which allows us to express declarative statements and we need to give a formal definition of when we accept a reasoning system based on the language as a logical system.