English Type inhabitation Cited by user GreenC bot on 13 Feb 2020 In type theory, a branch of mathematical logic, in a given typed calculus, the type inhabitation problem for this calculus is the following problem: given a type.
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…