substructural logic
[/sʌbˈstrʌktʃərəl ˈlɒdʒɪk/]
nounpl: substructural logics
lógica subestrutural
1. A class of formal logical systems that relax or eliminate some of the structural rules of classical logic, such as weakening, contraction, or exchange, allowing for more fine-grained control over logical reasoning
Substructural logic provides a framework for reasoning about resource consumption and information flow in computational systems.
A lógica subestrutural fornece um marco para raciocinar sobre o consumo de recursos e fluxo de informações em sistemas computacionais.
2. A logical system that does not assume all the standard structural properties of the sequent calculus, particularly used in linear logic, relevance logic, and ordered logic
In substructural logic, we can distinguish between using a premise once, multiple times, or not at all.
Na lógica subestrutural, podemos distinguir entre usar uma premissa uma vez, múltiplas vezes ou não usá-la.
Substructural logic is primarily a technical term used in mathematical logic, computer science, and philosophy. It emerged from research in the late 20th century and is extensively studied in academic institutions worldwide. The term is discipline-specific and rarely appears in everyday language, being confined to scholarly and technical discourse in both English and Portuguese-speaking academic communities.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →