Non Commutative Logic: A Survey