论文部分内容阅读
研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的补运算，而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４，得到若干结果。特别是，Ｋ＾２４中没有重言式，其准重言式恰与Ｃ２中的重言式一致，即ＱＴ（Ｋ＾２４）＝Ｔ（Ｃ２）。
赋值格为晨线性序的Kleene—Dienes四值逻辑系统K^24
【摘 要】
：
研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的补运算，而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４，得到若干结果。特别是，Ｋ＾２４中没有重言式，其准重言式恰与Ｃ２中的重言式一致，即ＱＴ（Ｋ＾２４）＝Ｔ（Ｃ２）。
【机 构】
：
西安交通大学理学院信息科学与系统科学研究所
【出 处】
：
模糊系统与数学
【发表日期】
：
1999年3期
【基金项目】
：
陕西省科委自然科学研究计划
其他文献
目的比较小肠内排列术与传统常规的肠梗阻手术治疗广泛粘连性肠梗阻的疗效。方法选取医院接受治疗的70例广泛粘连性肠梗阻患者随机分成观察组和对照组各35例。观察组实施小肠
在推动近代中国城市规划发展的新型市政学者中,沈怡是一位实践先驱及重要代表。他主持了＂大上海计划＂系列都市计划的编制、南京都市计划的编制,并参与了相关规划实践。从人物史
从模糊模式识别概念出发,建立一种以决策者经验、偏好为监督,在方案优属等级识别过程中确定最佳目标权重和方案优属度的监督模糊模式识别交叉迭代算法,该算法集成了决策偏好
随着信息化的快速发展,经济环境也在不断的变化,想要在经济变化中站稳脚步,许多的大企业都意识到提高管理水平的重要性。但现实社会中,大部分人都会把企业财务会计和管理会计
给出了模糊值函数关于t-余模、⊥-分解测度的t-余模、⊥-积分(简记为⊥-积分)的定义,并讨论了模糊值函数⊥-积分的一些性质和单调收敛定理.这种积分是模糊值函数Lebesgue积分的推广,也是实值函数⊥-积分的推广.
目的观察急性心肌梗死时心传导系统糖蛋白表达.方法运用花生凝集素(PNA),对8例急性心肌梗死亡者的心传导系统标本进行亲和组化染色.结果PNA有7例呈现强阳性,1例出现弱阳性.结
目的观察中药熏蒸配合电针治疗风寒型面瘫的疗效。方法将140例急性期(首诊时病程≤72 h)风寒型面瘫患者随机分为治疗组和对照组,每组70例。两组均接受常规药物治疗,治疗组在
目的调查脑出血患者对ICU护理工作满意度水平,为提升ICU护理工作质量提供依据。方法采用住院患者对护理工作满意度量表对168名ICU首发脑出血患者进行调查,采用均数标准差描述
随着新课改不断的深入,我国高中体育教学模式发生了巨大的变化。对此,本文从高中生身体素质水平、健身设备、师资力量这三个方面对影响高中体育教学创新思维进行了简单的研究
台湾宜兰作为城市新建增设与保留修补相串联方面的优秀案例,在保有旧城历史的基础上对新旧城区进行了有效连接.该文通过借鉴其设计手法和理念,研究城市改造的“针灸术”,在关