基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

BCI代数的Ω-犹豫模糊P理想

给定一个集合Ω,在BCI代数中引入Ω-犹豫模糊P理想的概念,讨论它的一些性质,研究了Ω-犹豫模糊P理想的同态像与同态原像的性质;研究了BCI代数中的Ω-犹豫模糊P理想与犹豫模糊P理想的相互构造,通过Ω-犹豫模糊P理想的水平P理想,讨论了BCI代数中Ω-犹豫模糊P理想的刻画;研究了Ω-犹豫模糊P理想与乘积型BCI代数的Ω-犹豫模糊P理想的关系.     

基于完备剩余格值逻辑的BCI-代数的三种模糊理想

通过完备剩余格值逻辑中一元模糊谓词，将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画，引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法，研究这三种l-值模糊理想的性质及关系，推广了经典模糊情形下相应的现有结论。     

DR0代数:由De Morgan代数导出的正则剩余格

首先讨论了De Morgan代数与剩余格的关系，并引入强De Morgan代数的概念，讨论了它的基本性质．随后，将著名的R0蕴涵拓广到De Morgan代数上，称为广义R0蕴涵；证明了添加广义凰蕴涵和相应 算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数，并由此引入D‰代数的概念．接着，研究了DR0代数与‰代数的关系，证明了以下结论：Boole代数是DR0代数；全序DR0代数和全序R0代数等价；DR0代数是R0代数当且仅当它满足预线性条件；无中点的DR0代数是BL代数当且仅当它是Boole代数．最后，举例说明了非D兄D代数的RD代数、以及非R0代数的DR0代数都是存在的．     

完备Leibniz代数的性质及其低维分类

本文研究了完备Leibniz代数的性质及低维分类.利用Leibniz代数中平方元生成的双边理想,获得了小于五维的完备Leibniz代数完整的分类,以及五维时一类特殊情况下完备Leibniz代数的分类,从而推广了Leibniz代数的结构理论.     

模糊逻辑代数的Loomis—Sikorski表现定理

通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理.     

BCI代数的闭Ω犹豫模糊理想

在集合Ω中,把犹豫模糊集、Ω模糊集相结合来研究BCI-代数.首先在BCI代数中引入闭Ω犹豫模糊理想的概念,讨论它的一些性质和等价刻画;其次,在闭犹豫模糊理想概念的基础上研究了如何构造闭Ω犹豫模糊理想,讨论了闭Ω犹豫模糊理想的同态像与同态原像的性质;最后,给出了闭Ω犹豫模糊理想与乘积型BCI代数的闭Ω犹豫模糊理想的关系.     

群逆伪BCI-代数与群逆滤子(英文)

伪BCK-代数是非可换模糊逻辑(蕴涵片段)的基本代数框架,伪BCI-代数是伪BCK-代数的推广,本文研究伪BCI-代数的结构。首先,借助BZ-代数(又称弱BCC-代数)给出伪BCI-代数的一个特征性质;其次,通过引入群逆伪BCI-代数的概念,研究了伪BCI-代数与(非可换)群之间的关系;接着,引入群逆滤子、优滤子和正规滤子的概念,并通过它们给出伪BCI-代数成为群逆伪BCI-代数(以及滤子成为p-滤子)的充要条件;最后,证明了如下结论:(1)平均伪BCI-代数等价于p-半单BCI-代数;(2)伪BCI-代数的每一个滤子是p-滤子,当且仅当它是群逆的且其伴随群的每一个子群是正规子群。     

Fuzzy蕴涵代数

本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。     

HEYTING代数与FUZZY蕴涵代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引进的Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴函联结词的一种代数抽象 .本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。     

On Positive and Weakly Positive Implicative BCI-Algebras

Prove that the notion of positive implicative BCI-algebras coincides with that of weakly positive implicative BCI-algebras, thus the whole results in the latter are still true in the former, in particular, one of these results answers definitely the first half of J. Meng and X.L. Xin’s open problem: Does the class of positive implicative BCI-algebras form a variety? The second half of the same problem is: What properties will the ideals of such an algebra have? Here, some further properties are obtained.     

超*BCI-代数的商超代数

修改了超BCI-代数的定义,提出超*BCI-代数并对其性质作了研究.在此基础上,引入超*BCI-代数的左、右扩张、正定对换超*BCI-代数及其陪集等概念,给出了正定对换超*BCI-代数的商超代数定义,y并对其商超代数的性质作了研究.     

The Nother and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nother type theorems for Cμpiecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible Cμpiecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the Cμpiecewise algebraic curve is established.     

The Nöther and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nöther type theorems for C ^µ piecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible C ^µ piecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the C ^µ piecewise algebraic curve is established.     

Some Characterizations of Nil Ideals in BCI—algebras

51.IntrodcutionIn[1j,thenotionsofnilidealinBCI-algebrasandinlBCI-algebrawereintreduced.WeshowthatnilBCI-algebraisageneralizationofassociativeandquasi-associativeBCIalgebra([2J,[3j).lnthispaper,somecharacterizationsofnilidealsinBCI-algebraswereproved.Moreover,theBCI-algebrassatifyingO*x.=xwerediscussedandvariousproPertieswereproved.Werecallsomedefinitionsande1ementaryproperties.ThefollowingsaretrueinaBCI-al-gebra:(l)x o=x;(2)(x*y)*z=(x z) y;(3)x相似文献   

Complete group classification of systems of two linear second‐order ordinary differential equations: the algebraic approach

We give a complete group classification of the general case of linear systems of two second‐order ordinary differential equations. The algebraic approach is used to solve the group classification problem for this class of equations. This completes the results in the literature on the group classification of two linear second‐order ordinary differential equations including recent results which give a complete group classification treatment of such systems. We show that using the algebraic approach leads to the study of a variety of cases in addition to those already obtained in the literature. We illustrate that this approach can be used as a useful tool in the group classification of this class of equations. A discussion of the subsequent cases and results is given. Copyright © 2014 John Wiley & Sons, Ltd.     

Kripke‐style semantics for many‐valued logics

This paper deals with Kripke‐style semantics for many‐valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid. We show that in the propositional case most logics are complete but not strongly complete with respect to the corresponding class of complete Kripke frames, whereas in the predicate case there are important many‐valued logics like BL, ? and Π, which are not even complete with respect to the class of all predicate Kripke frames in which they are valid. Thus although very natural, Kripke semantics seems to be slightly less powerful than algebraic semantics. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Jimmie D. Lawson on the occasion of his 75th birthday

In this paper we consider the Schwarz radical of linear algebraic semigroups as defined in semigroup theory. We give some new characterizations of the complete regularity, regularity and solvability of irreducible linear algebraic monoids in terms of Schwarz radical data. Moreover, we give a generalization about the results of the kernel to the results of completely regular \(\mathscr {J}\)-classes.     

BCI-代数的Fuzzy a-理想

本文的目的是引进PCI－代数的fuzzy α-理想的概念与探讨它的性质，给出了fuzzy α-理想的特征与Meng‘s扩张定理，讨论了BCI－代数中fuzzy α-理想，fuzzy q-理想与fuzzy p-理想之间的关系，从而得到一个BCI－代数的fuzzy子集是fuzzy α-理想当且仅当它是fuzzy q-理想与fuzzy p-理想。利用fuzzy α-理想与fuzzy p-理想分别刻画了结合BCI－代数与p-半单BCI－代数。此外，亦给出了fuzzy α-理想的其他性质。     

On Drewnowski lemma for non-additive functions and its consequences

In this paper we state an extension of a Drewnowski lemma to non-additive functions which are defined on an orthomodular structure and attain values into a uniform space, where no algebraic structure is required and the uniformity is induced by a complete metric. As consequences we prove Brooks–Jewett as well as Cafiero theorems for such class of functions.