Logical consequence relations in logics of quasiary predicates - O. S. Shkilniak (Problems in programming, 2016)