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.

Cite this paper

@inproceedings{Aczel1992SchematicC, title={Schematic Consequence}, author={Peter Aczel}, year={1992} }