共查询到19条相似文献,搜索用时 62 毫秒
1.
证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义. 相似文献
2.
3.
利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法. 相似文献
4.
刘春辉 《高校应用数学学报(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?子空间的结论. 相似文献
5.
关于格蕴涵代数公理的一个注记 总被引:2,自引:0,他引:2
设在一个非空集合L上有一个二元运算→和两个零元运算O与I,除此之外没有其它已知的代数结构,利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧(定义2.1)。本文证明了只要这些运算满足格蕴涵代数的公理(不包括有余格的公理),(L,∨,∧,′)就是一个有泛界O,I的有余格(定理2.2)。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算,而且在这两种定义方式中蕴含运算所满足的条件是相同的。 相似文献
6.
7.
8.
格蕴涵代数的蕴涵表示定理 总被引:2,自引:1,他引:1
在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。 相似文献
9.
10.
基于格蕴涵代数的模糊幂集 总被引:1,自引:0,他引:1
模糊幂集理论依赖于相应的模糊算子的选取,本文通过格蕴涵代数中的蕴涵算子讨论了L—型模糊集的幂集,为高阶格值逻辑的研究作了必要的准备。 相似文献
11.
12.
格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性. 相似文献
13.
研究一类含有有限个未知量且含有蕴涵算子的格蕴涵代数方程,给出方程有解的充分必要条件。在方程的解集非空时,讨论解集的一些结构性质。并刻画出方程在具有某种限制条件下的整个解集。最后,相关结论被应用到一个数值例子。 相似文献
14.
15.
蕴涵代数与BCK代数 总被引:6,自引:0,他引:6
系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数 相似文献
16.
17.
18.
从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具. 相似文献