高阶逻辑
- n.higher order logic
- 网络higher-order logic; HOL; Logique d'ordre supérieur
高阶逻辑高阶逻辑
higher-order logic
普通英汉小词典_翻译家... ... 二阶逻辑 second-order logic 高阶逻辑 higher-order logic 非古典逻辑 non-classical logic ...
HOL
在本文中，我们给出了一个在高阶逻辑（HOL）定理证明器中定义抽象状态检测所必须的基础结构。这个基础结构是以在高阶 …
Logique d'ordre supérieur
瑞士蚂蚁论坛 -... ... Calcul des prédicats 一阶逻辑 Logique d'ordre supérieur 高阶逻辑 abcès amibien 阿米巴肝脓肿 ...
high-order logic
后来，逻辑学家把量词的作用范围从个体扩大到谓词， 又发展出高阶逻辑（high-order logic）。以上这些逻辑理论被总称为经 …
higher order logics
...rder predicate logics） ? 高阶逻辑(higher order logics) ? 概率逻辑(probability logics) China 2009 19 命题逻辑的直观思想 ?
Logics of higher order
如：高阶逻辑（Logics of higher order）， 模态逻辑（Modal logics）。
HiLog
SILK是一种default LP，基于良基语义（well-founded semantics），里面集成了强否定，弱否定（NAF）和高阶逻辑（HiLog） …