Non-commutative logic: A survey