Re: "natural interval extension": friendly amendment to M001.02
I agree to replace "natural interval extension" with "tightest interval
extension". But how shall we call the interval extension in the sense
of R Moore, the one obtained by substituting the real variables by
interval ones?
S Markov
On 21 Dec 2015 at 16:41, Kreinovich, Vladik wrote:
From: "Kreinovich, Vladik" <vladik@xxxxxxxx>
To: John Pryce <PryceJD1@xxxxxxxxxxxxx>, Ned Nedialkov
<nedialk@xxxxxxxxxxx>
Copies to: stds-1788 <STDS-1788@xxxxxxxxxxxxxxxxx>
Subject: RE: "natural interval extension": friendly amendment to
M001.02
Date sent: Mon, 21 Dec 2015 16:41:05 +0000
> I agree, it is an excellent idea
>
> -----Original Message-----
> From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of John Pryce
> Sent: Monday, December 21, 2015 1:35 AM
> To: Ned Nedialkov <nedialk@xxxxxxxxxxx>
> Cc: stds-1788 <STDS-1788@xxxxxxxxxxxxxxxxx>
> Subject: Re: "natural interval extension": friendly amendment to M001.02
>
> All
> I like this and will vote YES for itr when voting starts.
> John Pryce
>
> On 20 Dec 2015, at 16:29, Nedialkov, Ned <nedialk@xxxxxxxxxxx> wrote:
> > I would like to propose a friendly amendment to the existing motion
> > M001.02:
> > replace "natural interval extension" with "tightest interval extension".