Английский ⇄ Русский +

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