您要查找的是不是：
- complete axiom system 完备公理系统
- 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的布尔值模型
- The school has up a complete modern industrial system. 学校开设了一个专班来帮助阅读能力差的读者。
- The complete equipment of the new hospital will take a year. 新医院的全部设备需要一年才能装备好。
- The rating system is undergoing some/a complete restructuring. 房地产税制正在进行某些[全面的]调整。
- On Axiom Systems for Lattice Implication Algebras 关于格蕴含代数的公理系统
- The leading role is played by a complete unknown. 演主角的是一个毫无名气的演员。
- Several Equivalent Axiom Systems on BCK/BEI-Algebra 关于BCK/BCI－代数的几个等价公理系
- I suppose you also have a caste system in your society. 我想你们的社会里也有一种等级制度。
- The right to dissent is part of our political system. 有持异议的权利是我们政治体制的组成部分。
- He should complete at this moment. 此刻他应该已经完成了。
- She spoke about her fears with complete frankness. 她对自己的恐惧直言不讳。
- Do you know how to log in to the system? 你知道怎么登录进入这个系统吗？
- She was accosted by a complete stranger. 有一个她完全不认识的人过来和她搭讪。
