Terms containing logic implication

Subject	English	Russian
automat.	logic implication	логическая импликация
logic	logic of bunched implications	логика пучковых импликаций (Alex_Odeychuk)
math.	logic of strict implication	логика строгой импликации