您要查找的是不是：
- 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;討論了它的語(yǔ)法和語(yǔ)義 .
- 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代數是等價(jià)的代數結構；把IMTL公理系統的11條公理簡(jiǎn)化為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. 第四，本文提出了新的認證邏輯公理系統。
- Peano's axiom system Peano公理系統
- Independence of Axiom System of BCI-Algebra BCI-代數公理系的獨立性問(wèn)題
- The Boolean - valued Model of the Conglomerate Axiom System COG 聚合公理系統COG的布爾值模型
- On Axiom Systems for Lattice Implication Algebras 關(guān)于格蘊含代數的公理系統
- I suppose you also have a caste system in your society. 我想你們的社會(huì )里也有一種等級制度。
- The right to dissent is part of our political system. 有持異議的權利是我們政治體制的組成部分。
- Several Equivalent Axiom Systems on BCK/BEI-Algebra 關(guān)于BCK/BCI－代數的幾個(gè)等價(jià)公理系
- Do you know how to log in to the system? 你知道怎么登錄進(jìn)入這個(gè)系統嗎？
- Public opinion was against the old feudal system. 公眾輿論反對舊的封建制度。
- The system works on the principle that heat rises. 該項裝置是按照熱力上升的原理運轉的。
- A New Axiom System Can Eliminate the Difficulty of the Theory of Relativity 一種可以消除相對論困難的公理系統
- The drainage system has been aged. 排水系統已經(jīng)老化了。
- They called for a radical reform of our tax system. 他們要求對稅收制度進(jìn)行根本改革。
- This is a highly efficient new heating system. 這是個(gè)高效的新取暖系統。
- An axiomatic assessment system of test adequacy criteria is proposed to assess these test criteria.The UML statecharts-based software testing coverage criteria are assessed against the axioms system. 然后提出針對該組測試準則的公理系統，通過(guò)此公理系統來(lái)評估該組測試準則，給出評估結果。
