fix root negations in the logic view