אנגלית ⇄ רוסית +

theory of multiple forms of negation מתח
.תִכנו	теория множества форм отрицания (апробированная в языках логического программирования Alex_Odeychuk)