中英▼
go top

Substructural logic

  • 亚结构逻辑（亚结构逻辑是比常规系统弱的命题演算系统，用于数理逻辑和证明论。它们与常规系统的不同之处在于它们有更少的结构规则可用，基于相继式表达而非自然演绎的公式化表达）
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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