逻辑代数

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])。

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 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 paper expounded internal difference between 0/0 of the derivative and of algebra, and discussed in detail the dual nature of 0/0 about algebraic substance of derivative on the basis of the philosophical thought about the concept of the differential quotient of Marx and Engels, and thus answered how derivative itself is converted to differential quotient logically.Then the discussion was extended to the Concept of the partial derivative, and proved that the form of differential quotient converted f...

本文依据马克思、恩格斯关于微商概念的哲学思想，阐述了代数的0/0与导数的0/0的内在差异，并详细讨论了导数的代数实体0/0的双重性质，从而回答了导数本身是如何合平逻辑地转化为微商的问题；其次，把这一讨论推广到偏导数的概念中去，论证了偏导数转化为微商形式的合理性，以及偏微商表述的意义，文中还就微商所牵涉到的形式逻辑与辩证逻辑的问题做了具体分析。

The paper expounded internal difference between 0/0 of the derivative and of algebra, and discussed in detail the dual nature of 0/0 about algebraic substance of derivative on the basis of the philosophical thought about the concept of the differential quotient of Marx and Engels, and thus answered how derivative itself is converted to differential quotient logically.Then the discussion was extended to the Concept of the partial derivative, and proved that the form of differential quotient converted from pa...

本文依据马克思、恩格斯关于微商概念的哲学思想，阐述了代数的0/0与导数的0/0的内在差异，并详细讨论了导数的代数实体0/0的双重性质，从而回答了导数本身是如何合平逻辑地转化为微商的问题；其次，把这一讨论推广到偏导数的概念中去，论证了偏导数转化为微商形式的合理性，以及偏微商表述的意义，文中还就微商所牵涉到的形式逻辑与辩证逻辑的问题做了具体分析。

Prelinearity residuated-lattice; BL-algebra; BR_0-Algebra; Propositional Calculus System PL~*; Weak Lattic Implication-Algebra

基础科学，数学，数理逻辑、数学基础预线性剩余格； BL代数； BR_0代数； PL~*系统；弱格蕴涵代数

Some new basic concepts are proposed in this paper, including the approximation space of generalization, rough approximation axiom, disturbance set axiom, classification principle of rough set, principle of nondeterministic even set, principle classification, bit quantum symmetric classification, of concentration, game classification, quantum logic incomparable set, bit space set, protocol relation, rough set function of protocol relation, rough classification algebra, rough simple algebra, etc., and a guess is also proposed.

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

As one of the important fuzzy logic algebraic systems, Residuated lattices have broad applications.

在解决模糊推理的逻辑基础问题中，模糊逻辑相应的代数系统是非经典逻辑的一个重要研究方向。

In this paper, we discuss effect algebra and related topics. The main results are the following:1. Effect algebra is a commutative algebraic structure. To get a non-commutative algebraic structure.we introduced the concepts of left difference and right difference, and we also introduced the concept of the Bi-difference sets, the concept of pseudo-difference poset, and proved that pseudo-difference poset is equivalent to pseudo-effect algebra.

效应代数描述的是具有交换性的量子系统，我们借助于差运算的思想研究了不可交换的量子逻辑结构，建立了左差、右差、伪差偏序集、双差集等概念，证明了伪差偏序集与伪效应代数等价，并得到了双差集的幺半群表示定理。

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。