Просто как ремарка тем разумным собеседникам, кому интересно: существуют
логики с одной только импликацией (по ссылке — интуиционистская, чуть выше — классическая, которую можно получить из этой добавлением характерных аксиом). Это значит, что даже если связывать принцип причинности с импликацией, это «нарисует» нам только вот этот кусочек. Интуиционистское импликационное исчисление соответствует по Карри—Говарду просто-типизированным комбинаторам (две аксиомы — типы комбинаторов K и S, MP — правило типирования аппликации).