论文部分内容阅读
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α-重言式.最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题.
模糊模态命题逻辑的语义
【摘 要】
：
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α-重言式.最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题.
【机 构】
：
辽宁师范大学数学系
【出 处】
：
辽宁师范大学学报：自然科学版
【发表日期】
：
2003年4期
其他文献
近年发现小而密低密度脂蛋白与动脉粥样硬化的发展关系密切,进而可能成为冠心病、糖尿病等动脉粥样硬化性疾病的危险因素,本文就这方面的进展加以综述.
患者女，57岁，农民。因发热半个月．腹胀、肛门停止排便1周，恶心呕吐3d入院。既往无腹部及盆腔手术史。家族成员中无类似疾病患者。当地医院查B超示空腹时胃内有大量滞留物，血常规：WB
患者男,78岁。因反复胸闷、心悸10余年,加重1周入院。临床诊断：冠状动脉粥样硬化性心脏病,原发性高血压3级（高危）,心房颤动,心功能Ⅱ级。查体：T36.8℃,BP142/80mmHg,HR89次/min。
以香草醛和6-溴己酸为起始原料，经过6步反应合成了辣椒素类似物8-甲基—顺-6-壬烯酰（3，4-二甲氧基）苄胺．一方面，先将香草醛羟基进行甲基保护后转化为肟，然后经金属法还原产生重要的
核因子-κB(NF-κB)是一种调控多种基因转录的关键因子,在许多疾病的发生、发展中起重要作用.NF-κB的激活诱导多种炎性基因的表达,如粘附分子、细胞因子、化学趋化因子等基