Renominative logics of quasiary predicates - S. S. Shkilniak; D. B. Volkovytskyi (Kompiuternaia matematyka, 2016)