【摘 要】
:
各种逻辑代数是做为非经典逻辑的语义系统被提出的,其中剩余格是一类最基本的模糊逻辑代数,几乎所有的子结构逻辑都是以它为基础来建立相应代数语义的.本文研究剩余格上的态算子、导子和超MV-代数上的态理论,尝试刻画几类特殊剩余格的代数结构,为研究子结构逻辑中的概率问题提供更一般的代数方法,表示更多模糊事件真值的平均度.研究的主要内容如下:1.第二章研究了剩余格上的态算子.首先,建立了一类意义较广的具有内态
论文部分内容阅读
各种逻辑代数是做为非经典逻辑的语义系统被提出的,其中剩余格是一类最基本的模糊逻辑代数,几乎所有的子结构逻辑都是以它为基础来建立相应代数语义的.本文研究剩余格上的态算子、导子和超MV-代数上的态理论,尝试刻画几类特殊剩余格的代数结构,为研究子结构逻辑中的概率问题提供更一般的代数方法,表示更多模糊事件真值的平均度.研究的主要内容如下:1.第二章研究了剩余格上的态算子.首先,建立了一类意义较广的具有内态的逻辑代数-态剩余格,通过研究态算子的性质,我们刻画了Rl-monoids和Heyting代数;证明了剩余格上的相容态和态算子不动点之集上的态是一一对应的.其次,研究了态剩余格上的态滤子,利用态滤子和态算子的不动点之集刻画了态单剩余格和态局部剩余格.最后,研究了全体态滤子构成集合SF[L]的代数结构,得到了SF[L]关于集合的包含关系构成一个凝聚式的Frame;引入了非空集合相对于一个态滤子的广义对偶零化子,用其给出了SF[L]中元素相对伪补的具体形式,得到了剩余格的相对对合滤子之集构成一个完备的Boole代数.2.第三章引入了剩余格上的导子.研究了几类特殊导子的性质,给出了理想导子的等价刻画.其次,重点研究了理想导子的不动点之集,得到了(线性)可除剩余格上的理想导子的不动点之集是(素)格理想,证明了幂等剩余格的一个素的格理想恰好是某一个理想导子的不动点集;得到了剩余格上理想导子的不动点之集是一个剩余格,证明了全体理想导滤子之集形成一个完备的Heyting代数,同时获得了全体可导滤子构成的格和不动点之集的滤子形成的格是同构的.最后,研究了主理想导子和它的伴随导子,得到了它们不动点之集间的对应关系;利用主理想导子的不动点之集刻画了(线性)Heyting代数、Hilbert代数等几类逻辑代数,得到了一个剩余格是(线性)Heyting代数当且仅当它上的主理想导子的不动点集是(素的)主格理想.3.第四章研究了超MV-代数上的态.做为研究剩余格上超结构的基础,我们借助模糊预序格构造研究了超格,通过强正则关系由超格得到了格代数.其次,引入研究了超MV-代数上的Riecan态和Bosbach态,得到超MV-代数上的Bosbach态一定是Riecan态,反之不成立;给出了正则Riecan态和正则Bosbach态的等价刻画,研究了超MV-代数上的State态射和Bosbach态之间的关系,得到了State态射一定是正则Bosbach态.最后,借鉴超格商结构的研究思想,利用超MV-代数上的正则Bosbach态诱导出了好的强正则关系,通过构造商代数得到了MV-代数,同时给出了商代数成为Boolean代数的刻画,建立了MV-代数的同构定理.
其他文献
EQ-代数是高阶模糊逻辑对应的真值代数结构,BCI-代数是组合逻辑中BCI-系统的代数表述,伪BCI-代数是BCI-代数的非可换推广.本文分别以模糊集对应的随机集的落影和广义的概率测度-态为主要研究内容,分别建立了EQ-代数上的落影模糊理论和伪BCI-代数上的态理论.主要内容包括:1.将模糊集和概率理论相结合,建立了EQ-代数上的落影模糊理论.首先,引入了EQ-代数的落影模糊前滤子,讨论模糊前滤子
为了满足空间高精度测量系统应用需求,本文在超稳晶振小型化原理样机研制基础上,完成了对主振电路低噪声改善及高精度控温电路的设计优化,实现了星载超稳晶振(USO)工程样机。USO产品本体尺寸为99mm×88mm×53mm,经测试产品中短期频率稳定度为1.35E-13/1s、2.04E-13/10s、5.47E-13/100s、6.70E-13/1000s(Allan方差)、相位噪声优于-125dBc/
具有基因开关的合成基因网络是从自然基因网络中提取出来的一种典型基因网络模块,能够减少自然基因网络研究的复杂性,便于简单有效地进行理论分析和实验研究。并对于解决一些实际问题有着重要的意义,如:信息存储与编码、生物技术等。此外基于生物波动框架,其外部环境中存在着大量非高斯的Lévy随机扰动。因此,本文对外部Lévy随机扰动对一类具有基因开关的合成基因网络的影响及其引起的随机共振问题进行了研究。主要创新
信息时代的发展促使我们跟上科技时代的发展,几乎人人都是手机不离手,无论是上班还是上学,每个人的生活都很繁忙,吃饭问题有时候也会顾不上,但是随着时代的发展,各种订餐软件盛行,点外卖成为了最快捷的一种方式,随时都可以订餐。对于大学生而言,主要的吃饭集中地就是食堂,食堂人流量大,午饭晚饭时间紧张,因此我们设计这个微信小程序方便大家订餐,节约时间。
本文介绍了一款工程化的恒温控制型蓝宝石振荡器,该振荡器利用多层高纯度蓝宝石构成的高Q值谐振器,结合其他器件组成振荡回路。通过半导体温度控制技术实现核心区域的0.01K的恒温控制。该振荡器可产生10GHz的高稳信号,在10KHZ处相位噪声低于-148dBc/Hz,100KHz优于-155dBc/Hz,远优于传统晶振倍频器。该工程化产品可用于高精度原子钟的研制,作为原子钟的基准源提升原子钟的技术水平。
基本逻辑BL是命题真值取值于[0,1]区间的多值逻辑,是模糊逻辑的重要基础.BL-代数是与基本逻辑相匹配的Lindenbaum-Tarski代数,其提出动机一是为基本逻辑提供一个代数框架,二是为研究[0,1]区间上的连续t-模提供代数方法.对逻辑系统的研究,从代数逻辑的观点来看,或是采用代数方法研究从逻辑引出的代数系统,或是将逻辑问题转化为代数问题,解决代数问题并将结果转化为逻辑形式.本文从代数角
本文研究了满足恒等式xn≈xm的Burnside AI-半环簇Sr(n,m)首先,给出了Sr(n,m)的自由对象的模型.接下来,证明了所有二阶AI-半环生成的簇是遗传有限基底的,它的每个子簇是有限生成的,且其子簇格是64阶的布尔代数;证明了Sr(n,1)的每个成员的乘法半群是正则纯正密码群,给出了Sr(n,1)的一些子簇的自由对象的模型;研究了Sr(n,1)的乘法半群是Clifford半群的成员作
本文主要完成了在流体力学中应用广泛的一类高阶非线性薄膜方程的李对称群分析,得到了方程的不变群、最优系统以及一些具有特定物理意义的相似解;此外利用不变子空间方法还研究了具有一般形式的三阶非线性微分算子及带有对流项和源项的非线性交叉扩散方程组,得到了它们在各自所容许的不变子空间中的完全分类.所作的工作具体如下:1.运用经典李群方法研究了2m阶非线性薄膜方程,得到相应的李点对称群、优化系统和群不变解,然
本文主要研究了解析数论中一些著名和函数的算术性质,这些和函数包括广义Kloosterman和、Dedekind和、Gauss和、两项特征和及多项式的Dirichlet特征,并利用解析方法研究了这些和函数及其混合形式的均值计算问题.此外本文还利用生成函数的方法及组合技巧研究了Apostol-Bernoulli多项式、Apostol-Euler多项式、(p,q)-Fibonacci多项式和(p,q)-
设S是半群,P(S)是由S的所有非空子集所构成的集合.则P(S)关于自然定义的乘法构成一个半群,称之为S的幂半群(或整体).设κ是半群类.如果κ中任意两个半群的幂半群同构蕴涵这两个半群也是同构的,那么称κ为整体决定的.本文我们研究正规纯整群(即:矩形群的强半格)与幂等元半群(即:带)的幂半群.特别地,我们证明了正规纯整群类和具有正则整体的半群类是整体决定的.