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

Axiom/proof system for PITL (24)
Examples of proof in ITA (25)
Example 1.
Example 2.
ITA vs PITL (26)
Theorem 3. PITL is an interval temporal algebra
Theorem 4. PITL’s axiom/proof system can be derived from ITA’s axiom system
|