论文部分内容阅读
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值域是格蕴涵代数.讨论了LP(X)的常量、命题变元和一些广义文字的性质,并得到了它们的α-归结域.
格值命题逻辑系统LP（X）中广义文字的α-归结域
【摘 要】
：
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值域是格蕴涵代数.讨论了LP(X)的常量、命题变
【机 构】
：
西南交通大学电气工程学院,河南大学计算机与信息工程学院,西南交通大学电气工程学院
【出 处】
：
西南交通大学学报
【发表日期】
：
2005年4期
【基金项目】
：
国家自然科学基金，河南省自然科学基金
其他文献
目的：探讨丙戊酸钠（VPA）单药及丙戊酸钠和托吡酯（TMP）联合用药治疗儿童癫痫时VPA的血药浓度与疗效之间的关系和药物的不良反应，为临床合理用药提供依据。方法回顾2013年1月-2013年6
在室温下通过实验研究了63Sn-37Pb钎料合金在具有不同保持时间、应变率、应变幅值、应变-时间、加载波形及加载历史下的循环变形行为.研究表明:该钎料具有明显的应变率敏感性
目的：探讨64排螺旋CT血管成像及后处理技术对肠系膜上动脉栓塞诊断的准确性及临床应用价值。方法对9例经外科手术或经DSA证实且CT影像资料完整的肠系膜上动脉栓塞患者进行回顾
目的探讨螺旋CT和腹部X线平片用于机械性肠梗阻诊断的效果比较。方法选取我院2012年6月-2012年12月收治的90例机械性肠梗阻患者,随机均分为观察组（采用螺旋CT诊断）和对照组（采用
用时域有限差分法(FDTD)模拟超宽带(UWB)脉冲入射时与目标腔体上的孔缝相耦合的过程,用单轴各向异性的完全匹配层(PML)吸收边界条件截断时域有限差分网格.通过分析目标腔体中
认为影响到达时间间隔的因素大部分是随机变量,因此必须采用概率论的方法建立机场跑道运行容量模型.从管制员的工作角度出发,建立了单跑道着陆概率容量分析模型.该模型以实际
目的探讨肋软骨骨折短期内首次多层螺旋CT（MSCT）检查的应用价值与不足。方法回顾分析25例肋软骨骨折患者资料。均于创伤后3d内行胸部MSCT检查及8周内复查胸部MSCT。复查时所有
目的探索清肝抑脂汤（QYT）抗慢性肝损伤的保护作用的影响。方法将小鼠随机分为空白对照组,模型组,阳性药物组,清肝抑脂汤高剂量组,清肝抑脂汤低剂量组。首先建立慢性肝损伤模型,