共查询到18条相似文献,搜索用时 93 毫秒
1.
集对Fuzzy格及其在格表示论中的应用 总被引:1,自引:0,他引:1
用幂集格构造了集对 Fuzzy 格(这与用整数对构造有理数集有相似之处),并用它证明了完整的软代数表示定理,即定义了到自身的映射且有最大元和最小元的格为软代数的充要条件是它与某个集对 Fuzzy 格的子格同构.这样,与分配格在幂集 Boole 格中表示相对应,软代数在集对 Fuzzy 格中有表示,在理论上是很完美的 相似文献
2.
3.
指出文[1]中的软代数表示定理(定理2.2)的错误,给出修改后的软代数表示定理。另外,讨论了集对代数的理想、同余关系和同余理想。 相似文献
4.
提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格.引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格. 相似文献
5.
将模糊软集的概念与格相结合,引入了模糊软格和模糊软格的模糊软子格的概念,给出了它们的若干代数性质.定义了格的模糊软同态概念,证明了模糊软格在格的一个模糊软同态下的像与原像仍为模糊软格的结论. 相似文献
6.
本文证明了格的极小生成元集一定是最小生成元集且只能是非零完全并既约元全体,证明了分配格具有最小生成元集的必要条件是它满足并无限分配律.本文还证明了完全Heyting代数具有最小生成元集当且仅当它是强代数格,证明了完备格是强代数格当且仅当它和它的对偶格均是具有最小生成元集的分配格. 相似文献
7.
9.
10.
对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴. 相似文献
11.
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. 相似文献
12.
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. 相似文献
13.
多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「1」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。 相似文献
14.
In this paper,some necessary and sufficient conditions that a finite lattice implication algebra is simple are established.Specially,it is proved that a finite lattice implication algebra L is simple if and only if (L,≤) is a chain,if and only if there exists the unique dual atom in L.Also,it is given that a finite lattice implication algebra with order of a prime number is simple. 相似文献
15.
OntheCharacteristicofProperLatticeImplicationAlgebras¥XuYang;QinKeyun(SouthwestJiaotongUniversity)(HenanNormalUniversity)Abst... 相似文献
16.
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. 相似文献
17.
§1. IntroductionInordertoresearchthelogicalsystemwhosepropositionalvalueisgiveninalatticefromthesemanticviewpoint,wehaveproposedtheconceptoflatticeimplicationalgebrasin[1]andhavediscussedtheirsomeproperties.MV-algebraswereinventedbyC.C.Chang[2]inorde… 相似文献