Шрамко, Я. Intellectual Reflections on Logical Consequence of the First and Higher Orders. APD 2000, 346-356.