共查询到19条相似文献,搜索用时 78 毫秒
1.
证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义. 相似文献
2.
3.
4.
利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法. 相似文献
5.
粗糙集代数与MV代数 总被引:2,自引:0,他引:2
讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法.粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后,粗糙集代数就成为MV代数. 相似文献
6.
格蕴涵代数的蕴涵表示定理 总被引:2,自引:1,他引:1
在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。 相似文献
7.
研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。 相似文献
8.
9.
关于格蕴涵代数与BCK-代数 总被引:12,自引:0,他引:12
朱怡权 《纯粹数学与应用数学》1999,15(3):22-26
证明了格蕴涵代数与有界可换 B C K代数是两类相互等价的代数系统,借此得到了一类 B C K代数的结构定理 相似文献
10.
粗糙集代数中的剩余格结构 总被引:1,自引:0,他引:1
讨论粗糙集代数与剩余格的关系.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为剩余格,并进而证明了粗糙集代数也是MV代数与R0代数. 相似文献
11.
In this paper,the concepts of product and factorization of lattice implication algebra areproposed,the relation between lattice implication product algebra and its factors and some properties oflattice implication product algebras are discussed. 相似文献
12.
We develop a symmetric analog of brace algebras and discuss the relation of such algebras to L∞-algebras. We give an alternate proof that the category of symmetric brace algebras is isomorphic to the category of pre-Lie algebras. As an application, symmetric braces are used to describe transfers of strongly homotopy structures. We then explain how these symmetric brace algebras may be used to examine the L∞-algebras that result from a particular gauge theory for massless particles of high spin.Mathematics Subject Classifications (2000) 55S20 (primary), 70S15 (secondary).Tom Lada: The research of the first author was supported in part by NSF grant INT-0203119.Martin Markl: The research of the second author was supported by grant MŠMT ME 603 and by the Academy of Sciences of the Czech Republic, Institutional Research Plan No. AV0Z10190503. 相似文献
13.
Hernando Gaitn 《Mathematical Logic Quarterly》1998,44(4):553-567
In this paper we characterize the join irreducible elements of the free algebras on n free generators in the subvarieties of the variety V0 of pseudocomplemented De Morgan algebras satisfying the identity xx′* = (xx′*)′*. 相似文献
14.
On Certain Filters in Lattice Implication Algebras 总被引:5,自引:0,他引:5
OnCertainFiltersinLatticeImplicationAlgebrasLiuJun;XuYang(DepartmentofAppliedMathematics,SouthwestJiaotongUniversity,Chengdu,... 相似文献
15.
This note presents some results on projective modules and the Grothendieck groups K 0 and G 0 for Frobenius algebras and for certain Hopf Galois extensions. Our principal technical tools are the Higman trace for Frobenius algebras and a product formula for Hattori-Stallings ranks of projectives over Hopf Galois extensions. 相似文献
16.
1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta… 相似文献
17.
《代数通讯》2013,41(5):1357-1368
Abstract The paper generalizes some of our previous results on quasi-hereditary Koszul algebras to graded standardly stratified Koszul algebras. The main result states that the class of standardly stratified algebras for which the left standard modules as well as the right proper standard modules possess a linear projective resolution – the so called linearly stratified algebras – is closed under forming their Yoneda extension algebras. This is proved using the technique of Hilbert and Poincaré series of the corresponding modules. 相似文献
18.