代数系统

In this paper, we summarize the foundations of Algebraic function fields, algebraic curves over finite fields and algebraic geometry codes, then we focus on the dimensions of codes on the quotient of the hermitian curves, by using the theory of weierstrass semigroup and the idea of Ho...

我们在系统地总结了代数函数域，有限域上的代数曲线和代数几何码的基本知识的基础上，利用Weierstrass子半群理论，使用Homma和Kim的方法，讨论了Hermite曲线商域上码的维数问题，得到的主要结果如下： 1。

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 develop-algebraic structure defined in this can be regarded as a model of a open and complex system. Research of the structure aims at to construct new algebraic structure and establish a relation among intelligent science, system science and management and decision.

文中定义的拓代数结构，可以看作是开放复杂系统的模型，研究它旨在导出新的代数结构并建立其与系统科学、智能科学、管理及决策的联系。

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Based on the methods and techniques of covering theory, the structure of module category of tame concealed algebra, one-point extension, vector space category, finite enlargement, degeneration theory, stable equivalence and combinatorial method, we will classify all of the three-point algebras with Gabriel quiver the system quiver Q according to representation type. We get the classification theorem: Let A=kQ/I be a three-point algebra given by the system quiver Q.

本文综合利用覆盖理论，tame concealed代数模范畴的结构，单点扩张，向量空间范畴，有限enlargement，退化理论，稳定等价以及组合的方法等多种方法和技巧，将所有由系统箭图Q给出的三点代数按表示型进行分类，得到如下分类定理：Q是系统箭图，I是kQ的一个admissible理想。

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的闭集之间的关系。

For the simplest interactive system of two particles with spin 1/2,the operator of Lie algebra can only realize the transition among the triplets, however, in order to realize the transition between the triplets and the singlet, the operators of Yangian must be involved, that is ,Yangian goes beyond Lie algebra in Quantum Mechanics.

对于最简单的两个-1/2的耦合系统，李代数生成元只能实现其自旋三重态之间的跃迁，而要实现三重态和单态之间的跃迁，必须由Yangian代数中的J 算子所引起，即 J 成为量子力学中超越李代数生成元的算子。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

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

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

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。