infinitely-many-valued logic 无穷多值逻辑
many valued logic 多值逻辑
many valued logic system 多值逻辑系统
many-valued logic system 多值逻辑系统
many valued logic systems 多值逻辑系统
many-valued logic system Wn 多值逻辑系统W
complete many-valued logic function 完全多值逻辑函数
complete many-valued logic functions 完全多值逻辑函数
Unit 2 analyses causes of being many different many-valued logic systems firstly.
Tableau method with q uantifiers in first-order many-valued logic exists uniform exitension rules, and reliability and completeness have been proved by Zabel and so on.
在多值逻辑中,含有量词的tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明。
参考来源 - 一种多值规则量词公式的tableau的方法 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
N the study of logical systems in which the truth-values that a proposition may have are not restricted to two, representing only truth and falsity 多值逻辑学
N such a logical system 多值逻辑
应用推荐