Foundations of Logical Consequence. tr 2008, 2 (10).