共查询到17条相似文献,搜索用时 437 毫秒
1.
2.
3.
4.
5.
讨论了当格蕴函代数L是完全分配格时蕴涵运算的一些性质,在格蕴函代数L上引入了集合的蕴函传递性概念,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则的替换定理。 相似文献
6.
7.
8.
运用fuzzy集的思想和方法研究格蕴涵代数的LI-理想.引入了(∈,∈∨q[k])-fuzzy LI-理想和(∈,∈∨q[k])-fuzzy格理想的概念,讨论了它们的性质及相互关系.获得了(∈,∈∨q[k])-fuzzy LI-理想的若干等价刻画;证明了在格H蕴涵代数中(∈,∈∨q[k])-fuzzy LI-理想和(∈,∈∨q[k])-fuzzy格理想相互等价的结论. 相似文献
9.
刘春辉 《高校应用数学学报(A辑)》2014,(1)
运用模糊集及拓扑学的方法和原理对格蕴涵代数的LI-理想概念作进一步研究.首先,在格蕴涵代数中引入素模糊LI-理想的概念并讨论其性质特征及其与LI-理想的关系,建立了格蕴涵代数的素模糊LI-理想定理.其次,在格蕴涵代数L的全体素模糊LI-理想构成的集合PFLI(L)上构造了一个拓扑T,从而得拓扑空间(PFLI(L),T),称之为L的素模糊LI-理想谱空间,记为P F-Spec(L).考察了P FSpec(L)的若干拓扑性质.最后,在格蕴涵代数L的全体素LI-理想之集PLI(L)上定义了LI-拓扑TLI,证明了在一个格H蕴涵代数中拓扑空间(PLI(L),TLI)同胚于P FSpec(L)的一个Hausdor?子空间的结论. 相似文献
10.
11.
关于格蕴涵代数的余元及结构 总被引:1,自引:0,他引:1
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出几种格蕴涵代数的结构。 相似文献
12.
13.
蕴涵格及其Fuzzy拓扑表现定理 总被引:27,自引:0,他引:27
以L-Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广.建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明. 相似文献
14.
Manuel Abad Cecilia Rossana Cimadamore José Patricio Díaz Varela 《Central European Journal of Mathematics》2009,7(2):299-309
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable
monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give
a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic
implication algebras and the category of monadic implication spaces.
相似文献
15.
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. 相似文献
16.
§1. IntroductionInordertoresearchthelogicalsystemwhosepropositionalvalueisgiveninalattice,XuY.[Xu2]proposedtheconceptoflatticeimplicationalgebraanddiscusseditssomeproper-tiesin[Xu1]and[Xu2].Also,in[XQ1],XuY.togetherwithK.Y.Qindiscussedtheprop-ertieso… 相似文献
17.
The class of rank 3 algebras includes the Jordan algebra of a symmetric bilinear form, the trace zero elements of a Jordan algebra of degree 3, pseudo-composition algebras, certain algebras that arise in the study of Riccati differential equations, as well as many other algebras. We investigate the representations of rank 3 algebras and show under some conditions on the eigenspaces of the left multiplication operator determined by an idempotent element that the finite-dimensional irreducible representations are all one-dimensional. 相似文献