Ordered logic (linear logic)

1. redirect noncommutative logic

{{rcatsh|

{{r from synonym}}

}}