出典:Wikipedia
出典:『Wikipedia』 (2010/11/26 20:08 UTC 版)
In logic, a substructural logic is a logic lacking one of the usual structural rules (e.g. of classical and intuitionistic logic), such as weakening, contraction or associativity. Two of the more significant substructural logics are relevant logic and linear logic.