An Axiomatic Interpretation of Interval Generalized Incidence Calculus
Qiu Ji, Qingxiang Wu, Xi Huang · 2006
An interval generalized incidence calculus theory (IGICT) has been proposed. In this paper, we give an axiomatization of IGICT. After introducing a new definition of possible world, we prove that the interval generalized incidence calculus constructed by axioms is equivalent to the one constructed by possible worlds. We then show that the lower and upper incidence functions can be used to define an interval structure