Re: resend [IEEE P1788] A second required: Motion P1788/M0002.01_ProcessStructure
On 3 Feb 2009 at 10:27, Nate Hayes wrote:
>
> Modal intervals, with quantifiers "for all" and "there exists," coinicide
> entirely with the Kaucher intervals. This is also true for the "directed"
> intervals of Popova, Markov, et. al. So from a standards perspective, it is
> sufficient to simply consider the Kaucher intervals.
>
"coincide entirely" is not correct to say. There is an isomorphism
between the mentioned systems, which has been clarified in the
papers listed below.
Svetoslav Markov
Markov, S., On Directed Interval Arithmetic and its
Applications, J. UCS 1 (7), 1995, 514--526.
Markov, S., On the foundations of interval arithmetic.
In: Alefeld, G., A. Frommer, B. Lang (Eds.) Scientific
Computing and Validated Numerics, Mathematical
Research 90, Akademie Verlag, 307--313, 1996.
Markov, S., Isomorphic Embeddings of Abstract
Interval Systems. Reliable Computing 3 (3), 1997,
199--207.