Translation of "linear logic" into Spanish

lógica lineal is the translation of "linear logic" into Spanish.

linear logic noun grammar

( 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.

+ Add

English-Spanish dictionary

  • lógica lineal

    Our reality, however, does not always adhere to linear logic.

    Nuestra realidad, sin embargo, no siempre se adhiere a la lógica lineal.

  • Show algorithmically generated translations

Automatic translations of "linear logic" into Spanish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "linear logic" into Spanish in sentences, translation memory