6 Interval Temporal
Algebra
is an interval temporal algebra iff
Let , and
-
P1
is a Boolean left (lazy) omega algebra
-
P2
-
P3
-
P4
-
P5
-
P6
-
P7
-
P8
-
P9

Example 1
_____________________________________________________________________
Example 2
_____________________________________________________________________
Theorem 1 PITL is an interval temporal algebra
_____________________________________________________________________
Theorem 2 PITL’s axiom/proof system can be derived from ITA’s axiom system
_____________________________________________________________________
|