中英▼
go top

Substructural logic

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

网络释义英英释义

  亚结构逻辑

... 逻辑结构型 logical structure type 亚结构逻辑 substructural logic 阶层体系 层次结构（体系） hierarchy ...

基于2218个网页-相关网页

Substructural logic

  • abstract: In logic, a substructural logic is a logic lacking one of the usual structural rules (e.g.

以上来源于: WordNet

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

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

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