On noncommutative extensions of linear logic (Logical Methods in Computer Science, 2019)