substructural
9.9
A kind of logic that does not allow some usual rules in proofs
- adjective
- /sʌbˈstrʌkʧərəl/
- Specialized
:
subestructural
- With models for the substructural logics, I don't see too much difficulty in deriving the categorical semantics from the logic.
Examples
-
Substructural logics often require a different approach to traditional proofs.
-
Understanding substructural theories can deepen one's grasp of logical frameworks.
-
The substructural rules in the proof made it challenging to reach a conclusion.
Surface Forms
substructural positive
Morphology
substructural = structural (semi-transparent) = sub + structure + al
Formed by prefixing 'sub-' to 'structural'; the literal morphological relation is clear, but the technical meaning ('lacking or restricting certain structural rules' in logic) requires domain knowledge.
Etymology
Substructural uses sub- 'under' and structure 'arrangement' to show something below or inside the usual setup. So in logic it names systems that change or leave out some normal rules, meaning the basic rule 'structure' is different.
