7-values logics and logics of general non-deterministic predicates - M. S. Nikitchenko; O. S. Shkilniak; S. S. Shkilniak (Artificial intelligence, 2018)