“…In view of this result, it is natural to ask how the lack of associativity of multiplication affects the decision problems for linear logic and related systems. So far, however, it has hardly been investigated whether the decision problems for non-associative versions of propositional linear logic are decidable or not, whereas several substructural logicians investigated the decision problems for various non-associative logics, see e.g., [2,4,5,6,8,9,14].…”