Some remarks on axiomatizing logical consequence operations
Jacek Malinowski · Logic and Logical Philosophy · 2005
In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization.