16 citations · 46 across the 12 of their papers we have counts for
1 paper · 1 filter
Daniel Lehmann
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…