(Реализации).
Для всехДля всех
(ЕслиРаньше чемТогда НеРаньше чем ).
Для всехДля всехДля всех
(ЕслиРаньше чем&Раньше чемТоРаньше чем ).
Для всехДля всех
(ЕслиРаньше чемТо для некоторого
( Раньше чем&Раньше чем)).
Для всех
(ЕслиПринадлежит Реализация То Для некоторого(Раньше чем )).
Для всех
(ЕслиПринадлежит Реализациям То Для некоторого( Раньше чем)).
Значение этих аксиом вполне очевидно. Первая утверждает, что реализации -
это индивиды, вторая - что отношение Раньше асимметрично, третья - что оно
транзитивно, а четвертая - что оно плотно. Последние две устанавливают, что
для любой реализации всегда есть, по крайней мере, одна - раньше и одна -
позже.
Для моделей интерпретируемой логики предикатов характерно отсутствие
фундаментального индивида, представляющего принципиальный интерес;
интерес представляют различные множества индивидов. Следовательно:
(События ={ \ Не =0 &В Реализациях}).
Таким образом, события - это непустые подмножества множества реализации.
Раньше и Позже - это соответствующие отношения на реализациях. Перед и
После - это соответствующие отношения на событиях.
(Перед = {Принадлежит События
&Принадлежит События
& Для всехДля всех
(ЕслиПринадлежит