您要查找的是不是:
- You need not change any existing axiom systems. 您不需要改变任何现有的定理体系。
- Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed. 建立了 Agent- BDI逻辑的代表系统 A- BI;讨论了它的语法和语义 .
- It is proved that weak MV-algebras and IMTL-algebras are equivalent, and the IMTL axiom system is simplified from 11 items to 8 items. 摘要证明瞭弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条。
- This paper defines the conglomerate axiom system COG, and constructs the model A~B,and proves that A~B is the Boolean - valued moael of COG on the basis of [1]. 本文在文献[1]的基础上,首先定义聚合公理系统COG,然后构造模型A~B,最后证明A~B是COG的布尔值模型。
- Fourthly, my paper proposes a new axiom system, which is made from forty axioms and two rules. 第四,本文提出了新的认证逻辑公理系统。
- Independence of Axiom System of BCI-Algebra BCI-代数公理系的独立性问题
- The Boolean - valued Model of the Conglomerate Axiom System COG 聚合公理系统COG的布尔值模型
- My son is studying at an elementary school. 我儿子在一家小学上学。
- In the case of a highly intelligent animal, elementary training is easy. 就高度灵敏的动物而言,初级训练并不难。
- A New Axiom System Can Eliminate the Difficulty of the Theory of Relativity 一种可以消除相对论困难的公理系统
- On Axiom Systems for Lattice Implication Algebras 关于格蕴含代数的公理系统
- I suppose you also have a caste system in your society. 我想你们的社会里也有一种等级制度。
- The right to dissent is part of our political system. 有持异议的权利是我们政治体制的组成部分。
- Several Equivalent Axiom Systems on BCK/BEI-Algebra 关于BCK/BCI-代数的几个等价公理系
- Do you know how to log in to the system? 你知道怎么登录进入这个系统吗?
- This elementary school is affiliated to a university. 这所小学附属于一所大学。
- Public opinion was against the old feudal system. 公众舆论反对旧的封建制度。
- The system works on the principle that heat rises. 该项装置是按照热力上升的原理运转的。
- The drainage system has been aged. 排水系统已经老化了。
- They called for a radical reform of our tax system. 他们要求对税收制度进行根本改革。