1 problem

0 votes0 replies0 views
The Exchange-free non-commutative semantics conjecture for two-dimensional sequent calculi
Exchange-free non-commutative picture conjecture. Dropping $\textsc{Exchange}$ should result in a finer-grained non-commutative picture akin to the ordered logic connectives.
Conjectureopennon-commutative-logic sequent-calculi substructural-logicarXiv posted 2 days ago

The Exchange-free non-commutative semantics conjecture for two-dimensional sequent calculi