英语 ⇄ 俄语 +

theory of multiple forms of negation 强调
编程	теория множества форм отрицания (апробированная в языках логического программирования Alex_Odeychuk)