共查询到17条相似文献,搜索用时 53 毫秒
1.
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)~所得的商代数F(S)∕~中的运算,在F(S)∕~中定义了滤子,讨论了滤子的性质,得到了F(S)∕~中的滤子都有形如的形式. 相似文献
2.
从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究。主要结果是:(1)Luk-Lindenbaum代数F(S)/~中的*滤子都是〈D(Γ)〉形式的;(2)*滤子与MP滤子一致,都是通常意义下的滤子;(3) F(S)/~中的极大*滤子与通常意义下的极大滤子是一致的。 相似文献
3.
研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便. 相似文献
4.
5.
吴苏朋 《云南师范大学学报(自然科学版)》2009,29(2):33-37
在MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。 相似文献
6.
7.
伪度量(L)*-Lindenbaum代数中基本运算的连续性 总被引:2,自引:0,他引:2
研究了伪度量L*-Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便。 相似文献
8.
刘春辉 《山东大学学报(理学版)》2013,48(9):73-77
在Fuzzy蕴涵代数中引入对合滤子和结合滤子的概念并研究它们的性质, 获得了这两类滤子的几个等价刻画; 讨论了Fuzzy蕴涵代数的对合滤子、结合滤子、关联MP滤子、正关联MP滤子和交换MP滤子间的关系, 证明了一个非空集合为正关联MP滤子当且仅当它既是对合滤子又是交换MP滤子。 相似文献
9.
在BL代数L的全体极大滤子之集MF(L)上构造两种拓扑惑与§^*,证明了(MF(L),§)是紧致的Haus—dorff空间,(MF(L),§^*)是T1空间。并且得出了当相关论域取为有限集或全序的无限集时,§=§^*。 相似文献
10.
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)~所得的商代数F(S)/~中的运算,在F(S)/~中定义了商理想,讨论了商理想的性质,得到了F(S)/~中的商理想都有形如┐D(Γ)的形式. 相似文献
11.
给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。 相似文献
12.
非全序R0代数的存在性及其构造 总被引:8,自引:0,他引:8
通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法. 相似文献
13.
罗清君 《聊城大学学报(自然科学版)》2006,19(1):6-8,12
给出了n值Lukasiewicz逻辑系统Ln,n值G6del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L^*逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系. 相似文献
14.
给出了n值Lukasiewicz逻辑系统Ln,n值Goedel逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L^*逻辑系统职中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系。 相似文献
15.
16.
李忠艳 《青岛大学学报(自然科学版)》2002,15(1):9-21
作者曾给出了实实Banach-代数的一般理论,对于任意的实实Banach-代数描绘甚少。这里刻划了任意实实Banach-代数的一类泛函,这类泛函对刻划一般实实Banach-代数将起到重要作用。 相似文献
17.
罗清君 《山东大学学报(理学版)》2013,48(2):72-78
利用MP滤子F在R0代数M上诱导一致拓扑JF,得出了(M,JF)是不连通的、零维的、局部紧的、完全正则的第一可数空间, (M,JF)是T0空间当且仅当F={1}。 证明了R0代数M中的运算′, ∨与→在(M,JF)中均连续。 最后, 讨论了商代数中一致拓扑的性质。 相似文献