【摘 要】
：
给出了一类带参数的[0,1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算子;当α=0时,Hα是Godel蕴涵算子,所以R0算
论文部分内容阅读
给出了一类带参数的[0,1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算子;当α=0时,Hα是Godel蕴涵算子,所以R0算子与Godel算子在Hα系统中统一起来.在Hα系统中引入了带参数的非运算(→)α,研究了多值系统H(1)/(2)=((1)/(2),∨,→(1)/(2)),以H(1)/(2)为赋值域建立了F(S)中重言式的分类定理,并将广义重言式分类定理推广到系统Hα(0<α<1)中.
其他文献
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关
目的：分析甲流的病因及流行病学特征,采取有效的预防措施,及时应对甲型H1N1流感疫情暴发的可能,有效的控制疫情扩散蔓延。方法：对2009年某院感染性疾病科收治的378例疑似病例和
陀螺旋转式钴60放射外科治疗系统简称陀螺式伽玛刀，但它并不是真正有形的手术刀，而是一种非常先进的放射治疗设备。陀螺式伽玛刀中安装的钴60产生的伽玛射线要通过准直器形成15
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,
从奥运旅游对河南旅游业的影响入手，探讨后奥运时代河南省体育旅游产业开发的优势、机遇及发展中存存的问题，并提出了后奥运时代河南省体育旅游产业开发的新模式与可持续发展的