Terms for subject Logic containing импликация

Russian	English
логика пучковых импликаций	logic of bunched implications (Alex_Odeychuk)
пучковая импликация	bunched implication (Alex_Odeychuk)
разделяющая импликация	magic wand (Alex_Odeychuk)
разделяющая импликация	separating implication (Alex_Odeychuk)