Pomset logic: the other approach to non commutativity in logic

Christian Retoré

Thirty years ago, I introduced a non-commutative variant of classical linear logic, called "pomset logic", issued from a particular categorical interpretation of linear logic known…