您要查找的是不是：
- 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. 第四，本文提出了新的認證邏輯公理系統。
- Independence of Axiom System of BCI-Algebra BCI-代數公理系的獨立性問(wèn)題
- The Boolean - valued Model of the Conglomerate Axiom System COG 聚合公理系統COG的布爾值模型
- My son is studying at an elementary school. 我兒子在一家小學(xué)上學(xué)。
- In the case of a highly intelligent animal, elementary training is easy. 就高度靈敏的動(dòng)物而言，初級訓練并不難。
- A New Axiom System Can Eliminate the Difficulty of the Theory of Relativity 一種可以消除相對論困難的公理系統
- 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è)系統嗎？
- This elementary school is affiliated to a university. 這所小學(xué)附屬于一所大學(xué)。
- Public opinion was against the old feudal system. 公眾輿論反對舊的封建制度。
- The system works on the principle that heat rises. 該項裝置是按照熱力上升的原理運轉的。
- The drainage system has been aged. 排水系統已經(jīng)老化了。
- They called for a radical reform of our tax system. 他們要求對稅收制度進(jìn)行根本改革。
