共查询到19条相似文献,搜索用时 71 毫秒
1.
证明了由Cignoli等人提出的模糊逻辑系统L∏G的特征,公理(L∏G)是张小红提出的UL*系统的重言式,但不是UL*系统的定理,这一结果表明UL*系统不具备标准完备性。 相似文献
2.
对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。 相似文献
3.
李扬荣 《西南师范大学学报(自然科学版)》1992,17(2):146-148
本文研究了σ-完备F-格成为完备格的充分条件,证明了满足条件(A)|x|<|y| 导致‖x‖<‖y‖,(B)0≤x_n↓0导致{x_n}是Cauchy列.中任意一个的σ-完备F-格都是完备格. 相似文献
4.
5.
在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商. 相似文献
6.
刘春辉 《山东大学学报(自然科学版)》2013,(12):52-56
运用Zadeh提出的模糊集概念和运算特征对正则剩余格的模糊⊙理想理论作进一步研究。引入素模糊⊙理想的概念并研究其性质,建立了素模糊⊙理想定理。在全体素模糊⊙理想之集合P P⊙( L)上构造了一个拓扑T,证明了拓扑空间( P P⊙( L),P )是T0空间。 相似文献
7.
利用有限群的特殊极大子群的正规完备和次正规完备对有限群可解性进行研究,给出了有限群可解的几个充分必要条件,这些结论是对已有的有限群刻画的补充和推广. 相似文献
8.
刘春辉 《四川师范大学学报(自然科学版)》2014,(6):832-835
运用拓扑学的方法和原理研究正则剩余格的⊙理想概念.首先,在正则剩余格L上以全体⊙理想之集为基建立了一个拓扑空间(L,TL).给出了拓扑空间(L,TL)中集合A的导集、闭包和内部的计算公式.其次,考察了(L,TL)的若干拓扑性质.最后,研究了乘积正则剩余格的积拓扑. 相似文献
9.
给出剩余格上存在度量的一个充分条件及由该条件决定的该类剩余格上的度量结构, 讨论了该度量结构下该类剩余格中的聚点问题, 并证明了剩余格的基本运算在度量空间中的连续性. 相似文献
10.
作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系.研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概念,证明了强剩余BCC-代数的正规素滤子定理,从而拓广了相应逻辑代数滤子理论的已有结果. 相似文献
11.
沈继忠 《江西师范大学学报(自然科学版)》1996,(3)
该文定义了基于完全剩余格值逻辑上的半群的概念.在此逻辑框架下,给出了半群中的子群、正则子半群和完全正则子半群的结构,并讨论了它们的某些代数性质 相似文献
12.
剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑.在这种情形下 ,剩余运算“∶”被特殊化为蕴涵运算“→”. 相似文献
13.
给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足(ab)→c=a→(b→c),那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图. 相似文献
14.
通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。 相似文献
15.
完备剩余格中的上近似与下近似模糊推理方法 总被引:1,自引:0,他引:1
借助于全蕴涵三I算法的思想,在完备剩余格上探讨了FMP问题的输出的上近似模糊推理与下近似模糊推理,并得到上近似推理与下近似推理算法均具有还原性. 相似文献
16.
17.
剩余格中的Fuzzy(P)滤子 总被引:4,自引:0,他引:4
在剩余格中引入了Fuzzy(P)滤子的概念,得到A是Fuzzy(P)滤子的充要条件是当λ∈[0,1]且Aλ≠时,Aλ是(P)滤子;在正则剩余格中引入了素Fuzzy(P)滤子的概念,证明了正则剩余格中的Fuzzy(P)滤子A是素Fuzzy(P)滤子的充要条件为a、b∈L,A(a b)=A(a)∨A(b)等结论. 相似文献
18.
构造了一类函数集合的度量空间,给出其上面的一些性质,证明了此空间是一完备度量空间。 相似文献
19.
吴洪博 《吉首大学学报(自然科学版)》2009,(6)
研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理. 相似文献