Non-associative and projective linear logics

01/06/2022

∙

by   Daniel Lehmann, et al.

∙

0

∙

share

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.