J. Malinowski, “Some remarks on axiomatizing logical consequence operations”, LLP, vol. 14, no. 1, pp. 103–117, Jun. 2005.