1.
On severa important implication oprators: their properties and comparison;
若干重要逻辑蕴涵算子的性质与比较
2.
The Research on Power Optimization of Technology-dependent Combination Circuits Based on Static Logic Implications;
基于静态逻辑蕴涵的组合电路功耗优化
3.
The Logical Implication on Social Construction of the Paris Commune and Its Contemporary Value
巴黎公社社会建设的逻辑蕴涵与当代价值
4.
Samuelson's Concept of Public Goods:Properties and Logical Implications
萨缪尔森公共物品的性质及其逻辑蕴涵
5.
The Study of Approximate Reasoning in Lattice-Valued Logic Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑中的近似推理研究
6.
Researching on Regular Implications and Fuzzy Logical Systems;
正则蕴涵算子与新型模糊逻辑系统的研究
7.
Study on Lattice-valued Logic Based on Lattice Implication Algebra and Its Model Theory;
基于格蕴涵代数的格值逻辑及其模型论的研究
8.
Study on the Relation between Lattice Implication Algebras and Correlative Logic Algebras;
格蕴涵代数与相关逻辑代数关系的研究
9.
n-valued logic system Gn based on the derived operator of Gdel implication operator;
基于Gdel蕴涵算子的导出算子的n值逻辑系统
10.
On the Basic Law Status of Implication Law in Formal Logic;
论蕴涵规律在形式逻辑中的基本规律地位
11.
The Implication Measurement and Approximate Reasoning in Two-valued Propositional Logic
二值命题逻辑中的蕴涵度量与近似推理
12.
Discriminating Presupposition and Implication from the Perspectives of Logic and Semantics
基于逻辑和语义视角的预设与蕴涵的鉴别
13.
Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_(vfl) Based on Lattice Implication Algebra;
基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究
14.
Research on Automated Reasoning of Lattice-valued Logic Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑系统的归结自动推理研究
15.
Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究
16.
Lattice-Valued Logical System and Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑系统及其自动推理的研究
17.
The clauses with such adjectives are restricted by different types of contexts, including latent context, which may exerts its multi-restriction on the clause because of the logical meaning in the clause.
小句蕴涵的逻辑语义使潜语境具有不同的表现形式,潜语境又对小句产生了多元的制约功能。
18.
These logic implications are exploited to add gates and connections to the circuit;
然后利用这些蕴涵在电路中添加一些逻辑门和连接,以便增加电路的冗余;