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

intuitionistic consequence operation מתח
.מָתֵי	интуиционистская операция присоединения следствий