论文部分内容阅读
本文讨论以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ）的语法问题，给出了系统的公理和推演规则，并证明了系统的可靠性定理，演绎定理及协调性定理。
格值命题逻辑系统L（X）（Ⅱ）
【摘 要】
：
本文讨论以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ）的语法问题，给出了系统的公理和推演规则，并证明了系统的可靠性定理，演绎定理及协调性定理。
【机 构】
：
西南交通大学
【出 处】
：
模糊系统与数学
【发表日期】
：
1998年1期
【基金项目】
：
国家自然科学基金
其他文献
目的比较支气管哮喘患者呼出气一氧化氮(FeNO)水平与肺功能检测结果。探寻支气管哮喘早期诊断的快速、高效方法。方法对90例疑似支气管哮喘患者进行基础肺功能测定、呼出气一
目的对治疗胆道疾病中应用腹腔镜联合胆道镜的应用价值进行研究。方法选择2017年8月至2018年8月在我院治疗的胆道疾病患者共100例作为研究对象,根据其不同情况分为三组,胆总
目的探究在冠心病心力衰竭治疗中,应用美托洛尔、曲美他嗪治疗的效果和价值。方法将2016年1月至2018年1月作为本次研究时间段,选择该时间段内80例冠心病心力衰竭展开本次研究
完整的TOD理论适用于城市新开发区,而对土地开发早于城市轨道交通站点建设的城市成熟区,特别是居住型轨道交通站区,TOD理论的借鉴意义主要是基于"交通与土地使用整合"、"公交
研究TL-子环上TL-子模形成的格及其子格的性质，给出这些格之间的同态与同构定理。
给出了Fuzzy集合依零测度的包含,依零测度的相等,依零测度的并,交,补运算等,并补充地研究了这些基本运算,获得了若干好的性质.Fuzzy集依零测度的基本运算比标准fuzzy集合论的
目的:观察雌激素受体(ER)不同表达对局部晚期乳腺癌TC新辅助化疗方案的敏感性。方法:采用免疫组化EnVision法,检测57例局部晚期乳腺癌患者化疗前ER的表达情况,比较ER(-)病例
通过对焦作红旗桥的静力检测,介绍了一种基于静力试验结果的钢筋混凝土桥梁的损伤状况的评价方法,其主要依据是结构的刚度变化及位移测试数据.理论分析和数值结果表明结构损
为了更好地解决模糊概念的表示问题, 文[1]、 [2]引入了AFS.代数和AFS.结构.为了讨论AFS.结构的拓扑性质, 本文在[1]、 [2]的基础上, 进一步讨论了EIn代数和*EIn代数的性质与
在信赖性理论的公理化基础上,利用截尾方法,得到独立粗糙变量序列的不等式、Borel-Cantalli引理及三级数定理,推广了某些已有的结果。