bn:03553124n
Noun Concept
SYL
No term available
EN
Noncommutative logic is an extension of linear logic that combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus. Wikipedia
Sources