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.