On noncommutative extensions of linear logic

Sergey Slavnov

Pomset logic introduced by Retoré is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent cal…