查询词典 algebra of logic

The so-called Chinese Logic refers to ancient Chinese Logic. In other words, it is the traditional Chinese Logic which was not influenced from the western Logic composed mainly by Aristotelian Logic.

所谓中国逻辑，指&中国古代逻辑&，换句话说，就是指以亚里士多德逻辑为传统的西方逻辑传入中国之前的，未受其影响的中国传统逻辑。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

Quantum logic has a long history, and there were many results of quantum logic.Effect algebra was introduced before about ten years. It describes the unsharp quantum measurement, and plays an important role in quantum logic theory.

本文研究了近十年来发展起来的用于描述不可精确测量量子现象的效应代数理论及相关问题，主要结果是： 1。

As the center or the Algebra subalgebra of a algebra plays an important role in reducing the number of state variables, the cartan subalgebra is a maximum Abelian subalgebra of an algebra, so it can be a powerful tool for the structure simplification of control systems.

由于代数的中心，或交换子代数在系统的变量降低方面具有重要作用，而Cartan子代数是李代数的极大交换子代数，因而它能成为简化系统结构的有力工具，第二部分利用向量场的积分曲线所定义的映射，构造出一个S—坐标，在该坐标下任一向量场都有一个标准的表示方法，一种无穷级数表示方法。

Vector is the new high school textbooks and the new one of the important contents, it is rich in physical background, it is the object of study algebra, and geometry is the object of study is set,"the number of Form" in a mathematical concept of an abstract algebra, linear algebra and functional analysis of the basic mathematical model.

向量是高中新教材中新增加的重要内容之一，它有着丰富的物理背景，它既是代数研究的对象，又是几何研究的对象，是集"数、形"于一身的数学概念，是抽象代数、线性代数、泛函分析中的基本数学模型。

The thesis studies the formation of several basic algebraic terms such as "algebra","equation" in the book of Elements of Algebra and Algebra.

本文的研究表明，术语与其所表述的数学内容之间的差异反映当时数学术语在翻译时不能保证单义性和系统性。

Weak quasi-bialgebra (quasi-Ilopf algebra) is an associative algebra with unit 1 a non-unital algebra map i.

弱拟双代数是一个具有单位1的结合代数，具有余乘法与余单位。

Firstly,a involution on Universal Clifford algebra 〓 is introduced.then we equip a inner product and the corresponding two equivalent norms onUniversal Clifford algebra 〓,and then we prove that Universal Cliffordalgebra 〓 is a Banach algebra with one of the above norms,these resultsare very important for further study in this field.

第一，本文创造性地准确地给出了在少Clifford代数〓上的一个对合运算表示，由此，我们给出了在泛Clifford代数〓上的一个内积，然后给出了相应的在泛Clifford代数〓上的两个等价的范数，并证明了若在〓上赋予其中的一个范数，则〓是一个Banach代数，这为在泛Clifford分析中进一步开展工作奠定了初步的基础。

Next, we discuss the relations between left quasi-dual bimodules and left dual-bimodules, we obtain that a left quasi-dual bimodule is a left dual bimodule if it satisfies one of the following conditions: sM is minimal injective and MR is a M-minimal injective kasch-module; MR is a M-minimal injective kasch-module and for any two ideals LI and L2 ofSS rM(L1 n L2)-rw(L1)+rM(I2); sM is minimal injective and for any two submodules A and B of MR,Lastly, we applicate the quasi-duality on smash product algebra R#H, and obtain an answer of the semiprime problem, i.e., let H be a finite-dimensional semisimple Hopf algebra and R be an H-module algebra, if R is left quasi-dual and semiprime, then R#H is semiprime.

我们得到：一个左拟对偶双边模如果满足下列条件之一，则它将成为一个左对偶双边模：_sM是单内射的并且M_R是一个M-单内射kasch-模；M_R是一个M-单内射kasch-模并且对_sS的任意两个理想，有r_M(L_1∩L_2)=r_M(L_1)+r_M(L_2)；_sM是单内射的且对M_R的任意两个子模，有l_s=l_s+l_s。2 在第2.3节中我们将拟对偶性应用于smash积代数R#H，部分解决了半素问题。

Now she was hungry and angry.She began to smoulder.

现在她又饿又气，她开始流露难以抑制的怒火。

You have placed our iniquities before You, Our secret sins in the light of Your presence.

诗90：8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。