  A non-commutative, non-associative weakening of Girard's linear logic is
developed for multiplicative and additive connectives. Additional assumptions
capture the logic of quantic measurements.

Logic in Computer Science;Logic