linear logic
[/ˈlɪniər ˈlɑːdʒɪk/]
noun
lógica linear
1. A substructural logic in which formulas cannot be freely duplicated or discarded, treating logical propositions as resources that must be used exactly once
Linear logic is particularly useful in computer science for modeling resource consumption in programs.
A lógica linear é particularmente útil em ciência da computação para modelar o consumo de recursos em programas.
2. A type of formal logic developed by Jean-Yves Girard that restricts the use of the structural rules of weakening and contraction found in classical logic
In linear logic, a proposition can be used as a premise exactly once, unlike in classical logic.
Na lógica linear, uma proposição pode ser usada como premissa exatamente uma vez, diferentemente da lógica clássica.
Linear logic is a specialized term primarily used in academic and professional contexts within mathematics, computer science, and logic. It was developed by French mathematician Jean-Yves Girard in 1987 and has become an important tool in programming language semantics and proof theory. The term is used identically in both English and Portuguese academic communities with minimal regional variation.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →