中英▼
go top

Substructural logic

  • 亚结构逻辑（亚结构逻辑是比常规系统弱的命题演算系统，用于数理逻辑和证明论。它们与常规系统的不同之处在于它们有更少的结构规则可用，基于相继式表达而非自然演绎的公式化表达）

网络释义

  子结构逻辑

相干逻辑、线形逻辑等被归入子结构逻辑（substructural logics），因为它们都是通过在其证明系统中去掉上述三个结构规则中的一个或多个而得到的。

基于22个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定