Motion P1788/M0015.01: NO

[Jürgen Wolff von Gudenberg <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

		I vote NO on Motion 15
I think that a 4-valued logic like Tetrits or the boolset  approach are 
sufficient to handle propagation of decorations, see position paper by 
Nate Hayes

Juergen
--
     o           Prof. Dr. Juergen Wolff von Gudenberg,  Lehrstuhl fuer 
Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg