T(¬p, i) should mean that there is no single event of type p that spans all of i, even though there may be one or more events of type p for subintervals of i.
As a check on your definitions, note that they should satisfy DeMorgan's Laws:
T(p v q, i) <=> T(¬(¬p ^ ¬q), i)