Non-associative and projective linear logics
arXiv:2201.02043
Abstract
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.
arXiv comment22 pages