English ⇄ Russian +

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