Schematic consequence

The aim of this note is rst to set up some general theory for discussing diierent aspects of the notion of a logic and then to draw attention to the schematic aspects of logic and suggest a way of capturing this aspect without making any commitment to the kind of syntax a logic should have.

[1]  Arnon Avron Axiomatic Systems, Deduction and Implication , 1992, J. Log. Comput..

[2]  Robert Harper,et al.  Structure and representation in LF , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[3]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[4]  K. J. Barwise,et al.  Axioms for abstract model theory , 1974 .

[5]  Furio Honsell,et al.  A framework for defining logics , 1993, JACM.