逻辑

MV-algebra is a kind of logic algebra, which has been introduced by the international famous model expert C.

MV-代数是一种逻辑代数，它是国际著名模型论专家C.C。

In nearly half a century, the scholars of various countries have already made the rich achievement to the studying of MV- algebra and a lot of algebra systems with logic background.

近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果([1]，[3-14])。

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

Peirce ; quantifier ; semiotics ; index ; algebra of logic ; existential graphs ; line of identity

皮尔士；量词；指号学；索引；逻辑代数；存在图表；等值线

A new network routing algorithm is proposed, which follows calculation rues of logic algebra and calculates routes with depression of order transformation of incidence martrix. For network with m nodes, m-2 times depression of order transformation operations can get all routes between two nodes. Furthermore, it accords with the communication transmission rules and avoids the close loop routes.

提出一种网络路由新算法，是按照逻辑代数运算规则，以关联矩阵降阶变换方式计算，对于有m个节点的网络，只需m-2次距阵降阶变换运算，就能够算得网络两节点间全部路由，且不会出现闭环路由问题，完全符合通信传输规则。

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

The propose framework invalidates the problematic properties of intention, and by imposing certain constraints on the algebraic structure of the models, it is showed that many desirable properties can be obtained.

讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑中存在的问题。

It was the French who took the logical step, in 1830, not only of storming Algiers but of conquering the entire country.

正是法国人采取了合乎逻辑的步骤。1830年，他们不仅轰炸了阿尔及尔，而且征服了这个城邦国家的全部。

As early as the early 1990s, conducting large-scale foreign Set text retrieval tests will be made on the field of automatic abstracting text structure analysis for information seized request area to enhance the retrieval accuracy, and have done a series of studies, presents a simple and effective logic of the division algorithm : TextTiling algorithm.

早在90年代初期，国外在进行大规模文本集合检索试验时就提出将自动文摘领域的文本结构分析应用于信息检索领域以提高检索精度，并对此进行了一系列研究，提出了一种简单有效的逻辑段划分算法：TextTiling算法。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。