共查询到20条相似文献,搜索用时 18 毫秒
1.
OnSomePropertiesofLTypeIntuitionisticFuzzyFamilyYueShusong;(岳树松)WangJianping(王建平)(HenanNormalUniversity)(HenanUniversity)Abst... 相似文献
3.
4.
5.
ImplicationfiltersderivefromModusPoenesRuleinlogic.Itisveryimportanttostudylatticeimplicationalgebrasandthecorrespondinglattice-valuedlogicsystem.Inordertoin-vestingatelatticeimplicationalgebrasfromtheviewofanalysis,implicationfilterspacehasbeenestab… 相似文献
6.
关于格蕴涵代数公理的一个注记 总被引:2,自引:0,他引:2
设在一个非空集合L上有一个二元运算→和两个零元运算O与I,除此之外没有其它已知的代数结构,利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧(定义2.1)。本文证明了只要这些运算满足格蕴涵代数的公理(不包括有余格的公理),(L,∨,∧,′)就是一个有泛界O,I的有余格(定理2.2)。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算,而且在这两种定义方式中蕴含运算所满足的条件是相同的。 相似文献
7.
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. 相似文献
8.
9.
OntheCharacteristicofProperLatticeImplicationAlgebras¥XuYang;QinKeyun(SouthwestJiaotongUniversity)(HenanNormalUniversity)Abst... 相似文献
10.
本文深入研究了格蕴涵代数的直觉模糊\textit{LI}-理想理论.给出了直觉模糊\textit{LI}-理想的若干新的性质和等价刻画. 建立了由一个直觉模糊集生成的直觉模糊\textit{LI}-理想的表示定理.证明了一个格蕴涵代数的全体之集模糊\textit{LI}-理想之集在直觉模糊包含序下构成一个完备的分配格. 相似文献
11.
关于格蕴涵代数与BCK-代数 总被引:12,自引:0,他引:12
朱怡权 《纯粹数学与应用数学》1999,15(3):22-26
证明了格蕴涵代数与有界可换 B C K代数是两类相互等价的代数系统,借此得到了一类 B C K代数的结构定理 相似文献
12.
本文研究IMTL代数M上的索布尔滤子的运算性质。令FB(M)为膨上全体素布尔滤子集,FB(M)=FB(M)∪{φ},通过在集合FB(M)引进格并、交运算和逆序对合对应,证明了FB(M)构成一个拟布黎代数。进一步在FB(M)可定义一个伴随对,证明FB(M)也构成一个剩余格。 相似文献
13.
刘春辉 《高校应用数学学报(A辑)》2016,(2):233-247
运用模糊集的方法和原理进一步深入研究剩余格的滤子问题.在剩余格中引入了模糊预线性滤子,模糊可除滤子和模糊Glivenko滤子三类新的模糊滤子概念,给出了它们的若干性质和等价刻画.系统讨论了这三类模糊滤子以及模糊正关联滤子,模糊Boolean滤子,模糊MV滤子和模糊正则滤子间的相互关系,证明了一个模糊滤子为模糊MV滤子当且仅当它既是模糊正则滤子又是模糊可除滤子的结论. 相似文献
14.
Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-valued logic. In this paper, we characterize two special classes of lattice implication algebra, namely, subdi-rectly irreducible and directly indecomposable lattice implication algebras. Some important results are obtained. 相似文献
15.
Fuzzy-valuedPropositionalLogicFP~*(X)¥QinKeyun(DepartmentofMath.,HenanNormalUniversity,453002)Abstract:Inthispaper,wetake[0,1?.. 相似文献
16.
蕴涵格的滤子及同余关系 总被引:2,自引:0,他引:2
在蕴涵格中引和了蕴涵滤子的概念,讨论了蕴涵滤子的一些基本性质,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。 相似文献
17.
1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta… 相似文献
18.
张小红 《纯粹数学与应用数学》1999,15(2):77-78,76
引入FUZZY BCC-代数,FUZZY BCC-理想的概念,讨论了它们的性质,从而将FUZZY BCK-代数的有关结果推广到BCC-代数上。 相似文献
19.
This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras. 相似文献
20.
蕴涵格及其Fuzzy拓扑表现定理 总被引:27,自引:0,他引:27
以L-Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广.建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明. 相似文献