Portuguese Lógica não comutativa Cited by user Murilo Ventura da Fonseca on 10 Dec 2016 A lógica não comutativa é uma extensão da lógica linear, que combina os conectivos comutativos da lógica linear com os conectivos multiplicativos não-comutativos do cálcul…
English Noncommutative logic Cited by user Pintoch on 31 Oct 2016 Noncommutative logic is an extension of linear logic which combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the…