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

logic of bunched implications מתח
.הִגָי	логика пучковых импликаций (Alex_Odeychuk)