И для строго порядка, и для нестрогого порядка верно утверждение:
если

и

, то

Считайте это необходимым условием для модели причинно-следственных связей.
Никак не могу понять, зачем Вам это нужно. Судя по всему, Вы хотите, чтобы всё упорядочилось как события в световом конусе?
Если выбирать отношение между утверждениями, то в двузначной логике придумать что-то лучше выражающее слово "следует", чем импликация, точно не получится. Например, если добавить к этому требование "обратное отношение ложно", как Вы хотите, то получится

, что, по-моему, совсем плохо подходит для выражения какой бы то ни было причинно-следственной связи.
Посмотрел уже давно
Можете поискать в моих сообщениях в этой теме по фамилии "Эйнштейн".
Что-то у меня плохо это получается. Не можете кратко резюмировать?
Если в модели нет времени, а модель физической системы, то направление причинно-следственных связей нужно вводить в рамках модели аксиоматически, на основании каких-то других соображений, лежащих вне данной модели. Например, на основании более точной модели, где время есть.
Т.е. если в модели нет времени, то Вы предлагаете его добавить? Так, как взбредёт в голову?