Я. Шрамко, “Intellectual reflections on logical consequence of the first and higher orders”, APD, no. 3, pp. 346–356, Dec. 2000.