noncommutative logic