代数还是很重要的。比如想定义一种广义逻辑，遇到交换律问题，就得理解子结构逻辑的代数结构是剩余格，就必须得把融合和序定义出来满足Galois连接。然后看看小野宽晰的融合算子的交换律被禁止有什么实质性影响。这些都不是在规则层面捣鼓符号能搞定的。
发布于 上海
概念机器
代数还是很重要的。比如想定义一种广义逻辑，遇到交换律问题，就得理解子结构逻辑的代数结构是剩余格，就必须得把融合和序定义出来满足Galois连接。然后看看小野宽晰的融合算子的交换律被禁止有什么实质性影响。这些都不是在规则层面捣鼓符号能搞定的。