您要查找的是不是：
- 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)題
- But abundant psychological evidence has now shown that people do not satisfy Savage’s axioms of rationality. 但是，根據大量心理學(xué)的證據顯示，薩維奇對于“理性人群”的判斷是不存在的。
- The Boolean - valued Model of the Conglomerate Axiom System COG 聚合公理系統COG的布爾值模型
- It’s a very cliched and abused axiom. 這簡(jiǎn)直就是陳詞濫調和濫用公理。
- On Axiom Systems for Lattice Implication Algebras 關(guān)于格蘊含代數的公理系統
- They spend the winter(s) in a warmer climate. 他們在氣候較暖的地方過(guò)冬。
- A New Axiom System Can Eliminate the Difficulty of the Theory of Relativity 一種可以消除相對論困難的公理系統
- Most plural nouns in English end in "s". 英語(yǔ)的復數名詞多以“s”結尾。
- The sweater had shrunk after repeated washing(s). 這件套頭毛衣洗過(guò)多次已縮水了。
- Several Equivalent Axiom Systems on BCK/BEI-Algebra 關(guān)于BCK/BCI－代數的幾個(gè)等價(jià)公理系
- Some old folk(s) have peculiar tastes. 有些老人有特殊的愛(ài)好。
- 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)評估該組測試準則，給出評估結果。
- Answer the following question(s). 回答下列問(wèn)題。
- Most plural nouns in English end in s'. 英語(yǔ)的復數名詞多以s結尾。
