【摘 要】
:
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种真值域为[0,1]无穷值语义模型,
论文部分内容阅读
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种真值域为[0,1]无穷值语义模型,张给出了一种真值域为[0,λ]∪(λ,1](λ∈(0.5,1))的新无穷值语义模型,并分别证明了中介命题逻辑在无穷值模型下具有可靠性与完备性。在此基础上,进一步研究得到了中介命题逻辑的一种改进的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在该模型下也具有可靠性与完备性。该模型不仅较好的表达了"当Afuz时~A真"
其他文献
随着自考招生数量的进一步扩大,全日制自考生班级管理中潜在的诸多问题也逐步显示出来。本文认为,要解决全日制自考生班级管理中的诸多问题,首先要转变班级管理观念,创建民主
物联网技术的蓬勃发展推动了世界各国"智慧地球"、"智慧城市"的建设步伐,我国"感知中国"概念的实施同样离不开物联网技术的支持。为了推进我国"智慧城市"的建设,大部分省市都将物联网建设作为城市发展的重中之重。
伴随着时代的进步,我国综合实力在提升的同时计算机网络技术也在不断发展,医院计算机信息系统的管理已成为了国家和人民重视的问题。在市场化经营的大背景之下,提升医院管理
目的探讨研究护理干预对儿童免疫接种百白破疫苗不良反应的影响。方法从该院选取2016年11月—2017年11月接种百白破疫苗的100例儿童,采用随机数字表法将所有儿童分为两组,每
本文介绍了国际海事组织(IMO)关于“73/78防污公约”附则Ⅵ的有关内容和目前降低NOx排放的新技术,提出了航运公司应注意的几个问题。
公民政治参与既是公民的权利,又是公民的义务或责任。正是公民政治参与行为的义务价值取向决定了公民参与政治生活时应该维护和实现公共利益,遵循公共利益理念。享受权利的同时
“桥头堡战略”是推进我国向西南开放、实现睦邻友好的战略需要。计划经济背景下的西南协调会开创了我国跨省区市经济合作的先河,对整个西南地区经济社会发展起了很大的促进作