2000 character limit reached
Non-associative and projective linear logics (2201.02043v1)
Published 6 Jan 2022 in cs.LO and math.LO
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.