1) the logical implication of the systemof he st:andard sequence
标准序列逻辑蕴涵
2) logical implication
逻辑蕴涵
1.
Research on logical implication for XML based on DTD path coding;
基于DTD路径编码的XML逻辑蕴涵问题研究
2.
The definition for functional dependency, logical implication and path closure are studied; the satisfiability of functional dependency in a given DTD is proved.
在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性。
4) standard logic
标准逻辑
1.
Firstly,the limitation of standard logic is analysed in this paper.
本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。
2.
Shen Youding has laid down two principles for standard logic, i.
沈有鼎先生的《初基演算》建立起了标准逻辑的两个原则 ,即是否源于初基演算和是否具备完全性。
5) non-standard logic
非标准逻辑
1.
and it also proposed that various kinds of non-standard logics that rise vigorously explore from different level or side on how to deal with various kinds of contradiction and uncertainty,they are probing into the mathematics way of dialectical logic.
本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。
6) logical details
逻辑底蕴
补充资料：德国国家标准(见德国标准化学会、德国标准体系)
德国国家标准(见德国标准化学会、德国标准体系)
National Standards of Germany: see Deutsches Institut für Normung, DIN;standards system of Germany
Oeguo Guol心日icozhun德国国家标准(Natio.吐S加Ln山切曲of Gen”旧ny)见德国标准化学会;德国标准体系。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条