Noncommutative linear logic and its Quantale semantics
Yongming Li · Journal of Shaanxi Normal University · 2001
The system of noncommutative linear logic defined by V.M. Amusci is extended to contain intuitive logic, commutative logic and cyclic linear logic as special cases. The semantics of this logic in showing its soundness and completeness by dual quantales is given.