Relations of logical consequence in logics of partial predicates with composition of predicate complement - O. S. Shkilniak (Problems in programming, 2019)