First-order composition-nominative logics with predicates of weak equality and of strong equality - S. S. Shkilniak (Problems in programming, 2019)