逻辑代数

We also get a representation theorem for Bi-difference sets.2. Ideal and filter are two important concepts in quantum logic. From the order structure and algebraic structures of effect algebra, there are many definitions of ideals and filters.

理想和滤子是量子逻辑中的两个重要概念，由于量子逻辑有自身的代数结构和序结构，因此有多种意义下的理想和滤子概念。

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

In the light of logical formula, an automatic circuit will be devised to control the energy in the refrigeration system.

用布尔代数可以完整地表达制冷机组提供冷量与其负载对冷量需求的阶梯性的内在的逻辑关系，这种关系可以用具有同样逻辑功能的电路来实现，将这个电路应用到制冷系统中就成了制冷系统能量梯级控制电路。

Emulation result makes clear, be based on extensive the control of logistic control method of Boer algebra is simple, agile, convenient, effective, this logistic control algorithm fits typical ship lift structure, have apparent aseismatic damping effect, achieved ship lift structure requirement of aseismatic pilot project.

仿真结果表明，基于泛布尔代数的逻辑控制方法控制简单、灵活、方便、有效，该逻辑控制算法适合典型的升船机结构，具有明显的抗震减震效果，达到了升船机结构抗震控制的工程要求。

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

布尔代数的概念最初是有英国数学家George Boole于1847年提出来的，从那时起，代数学家和逻辑学家们更广泛的发展了Boole的这一其实概念，并使之更加精练。

In this paper a further study of the algebraic properties of the language will be presented and the digital system will be optimized by program transformation. In this way, we can get a correct and optimized logic structure which has no redundancy and reuses each common component to the great extent.

本文将在此基础上，进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化，从而设计出正确的优化逻辑结构，在这种逻辑结构中去除了冗余，最大限度地重复使用各个子部件。

The concept of a Bollean algebra was first proposed by the English mathematician George Boole in 1847.Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

布尔代数的概念最初是有英国数学家George Boole于1847年提出来的，从那时起，代数学家和逻辑学家们更广泛的发展了Boole的这一其实概念，并使之更加精练。

3 1 X*{! g5 C+ X K The concept of a Bollean algebra was first proposed by the English mathematician George Boole in 1847.Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

L， a3 M+* O； _6 M 布尔代数的概念最初是有英国数学家George Boole于1847年提出来的，从那时起，代数学家和逻辑学家们更广泛的发展了Boole的这一其实概念，并使之更加精练。

The big eared hedgehog, the little owl, the sand gecko, the three-toed jerboa, and every show needs a villain - saw-scale - the viper!

大耳刺猬，小猫头鹰，沙壁虎，三趾跳鼠，每场戏都需要反派角色：蝰蛇。

Plasmodiophora brassicae ; resting spores ; density gradient centrifugation of sucrose ; ultrasonic disruption

根肿；休眠孢子；蔗糖密度梯度离心；超声波破碎