Motion P1788/M00018.01:TritsToTetrits: NO
I vote NO on Motion P1788/M00018.01:TritsToTetrits because it suffers
from an obvious contradiction (though one needs to read the paper
carefully). My vote would be changed to YES if this is addressed.
Page 2, 4th line, it is said:
a tetrit will be (F,F) if and only if X is empty
but under 3.1.2, one has examples with other tetrits for the empty
interval. The only thing one can say is that if a tetrit is (F,F),
then X is empty. Note: one needs to be very careful when defining
functions (like union and intersection) that are not interval
extensions of a real function; but if the inf rule is used, the
above property will be guaranteed.
Other minor problems:
Page 2, last line: no operation -> no operation*s*
Page 3, last line of Definition 1: one could use only one "inf".
Page 5, table of Section 3.1.1, for priority 0, it {Empty} should
be replaced by Empty (where Empty is the empty set symbol).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)