查询词典 algebra of logic

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

Marx built up Historical Materialism, which realized the transformations from scientific logic to historical logic, from material logic to human logic, and provided the interpreted principles for the view of subsistence and the view of historical orientation with Marx's new material philosophy.

马克思创立历史唯物主义，实现了从科学逻辑向历史逻辑的转变，从物的逻辑向人的逻辑的转变，为马克思的新唯物主义哲学提供了生存论的解释原则和历史性解释原则。

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

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

Tai Chi has algebra contains the contents of the dialectic, and Tai Chi is dialectical logic of algebra and math.

太极代数里包含有辩证的内客，而太极代数是辩证逻辑的数学化。

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 a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

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

The relationships among Boolean algebra,set algebra,logic,and binary arithmetic have given Boolean algebras a central role in the development of electronic digital computers.

由于布尔代数、集合代数、逻辑学和二进制算术之间有内在的联系，所以布尔代数的理论在电子数字计算机的开发研制中是很关键的。

The relationships among Boolean algebra, set algebra, logic, and binary arithmetic have given Boolean algebras a central role in the development of electronic digital computers.

由于布尔代数，集合代数，逻辑学和二进制算术之间的内在联系，使得布尔代数的理论在电子计算机的发展中起到举足轻重的作用。

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空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

In the same time,from the view point of abstract algebra,the homomorphism between disturbing fuzzy logic operator group and class fuzzy logic operator group is studied.

从而使经典模糊逻辑的概念及性质得到进一步的推广，同时也揭示了在这种由一维到二维的推广中存在的问题。

Summary In copyright infringement cases,if the alleged infringer uses or even plagiarizes the copyrighted works or parts thereof,which causes no substantially adverse effect on the normal exploitation of the work,nor does it inflict any substantial damages to the right owner,the de minis doctrine should be applied to exempt the liabilities of the defendant and seek the balance of interests between the right owner and the general public embodied by the copyright law.

在侵犯著作权案件中，如果被控侵权行为人虽未经著作权人的同意，使用甚至抄袭了受著作权保护的作品或作品的片段，但若情节轻微，未对该作品的正常使用产生任何实质不利的影响，亦未对权利人的权利造成实质性的损害，则应适用&不计琐细原则&，免除行为人的责任，以寻求在权利人利益与著作权法所体现的社会公共利益之间的平衡。

This new product will become our best seller.

这个新产品会成为我们最畅销的产品。