In this article‎, ‎we have characterized ideals in $C(X)$ in which‎ ‎every ideal is also an ideal (a $z$-ideal) of $C(X)$‎. ‎Motivated by‎ ‎this characterization‎, ‎we observe that $C_infty(X)$ is a regular‎ ‎ring if and only if every open locally compact $sigma$-compact‎ ‎subset of $X$ is finite‎. ‎Concerning prime ideals‎, ‎it is shown that‎ ‎the sum of every two prime (semiprime) ideals of e...

Let R be a commutative integral domain with quotient field K and let P be a nonzero strongly prime ideal of R. We give several characterizations of such ideals. It is shown that (P : P) is a valuation domain with the unique maximal ideal P. We also study when P^{&minus1} is a ring. In fact, it is proved that P^{&minus1} = (P : P) if and only if P is not invertible. Furthermore, if P is invertib...

The temporal boundaries of many real–world events are inherently vague. In this paper, we discuss the problem of qualitative temporal reasoning about such vague events. We show that several interesting reasoning tasks, such as checking satisfiability, checking entailment, and calculating the best truth value bound, can be reduced to reasoning tasks in a well–known point algebra with disjunction...