engelska-portugisiska översättning av linear logic

A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules

Innehåll är baserad på Wiktionarys artiklar.

Innehåll är tillgänglig under Creative Commons Attribution-ShareAlike.

Ordbok