共查询到18条相似文献,搜索用时 93 毫秒
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.
运用泛代数和格理论的方法和原理研究有界Heyting代数及其理想问题。首先,给出了有界Heyting代数的若干新性质。其次,在有界Heyting代数(H,≤,→,0,1)中引入理想及由H的非空子集生成的理想概念并考察它们的性质和刻画。再次,分析了H的理想与格理想以及滤子三个概念之间的关系。最后,讨论了H的全体理想之集ID(H)的格结构特征,证明了ID(H)在集合包含序?下构成完备Heyting代数和分配的连续(代数)格,进而构成一个Frame. 相似文献
10.
刘春辉 《高校应用数学学报(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?子空间的结论. 相似文献
11.
关于格蕴涵代数的余元及结构 总被引:1,自引:0,他引:1
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出几种格蕴涵代数的结构。 相似文献
12.
13.
14.
蕴涵格及其Fuzzy拓扑表现定理 总被引:27,自引:0,他引:27
以L-Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广.建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明. 相似文献
15.
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.
相似文献
16.
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. 相似文献
17.
§1. IntroductionInordertoresearchthelogicalsystemwhosepropositionalvalueisgiveninalattice,XuY.[Xu2]proposedtheconceptoflatticeimplicationalgebraanddiscusseditssomeproper-tiesin[Xu1]and[Xu2].Also,in[XQ1],XuY.togetherwithK.Y.Qindiscussedtheprop-ertieso… 相似文献
18.
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. 相似文献