论文部分内容阅读
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。
模态逻辑中的三值逻辑
【摘 要】
：
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模
【机 构】
：
毕节学院,西南大学
【出 处】
：
毕节学院学报
【发表日期】
：
2014年08期
【基金项目】
：
贵州省优秀科技教育人才省长基金资助项目“动态信息和集合论视野下的博弈逻辑研究”成果之一,项目编号:201250;贵州省社科规划基金项目“基于动态认知逻辑的协议信息研究”成果之一,项目编号:14GZYB10;贵州省教育厅一般基金资助项目“动态信息视域下的认知概率逻辑研究”成果之一,项目编号:12GZJY20;毕节学院高层次人才基金资助项目“信息动态和集合论在博弈论中的应用研究”成果之一,项目编号
其他文献
针对目前国内大多数物流分拣集散中心仍采用成本较高,效率和准确率较低的人工分拣方式,设计了一种基于AGV小车的智能物流分拣系统。系统采用了具有光学自动引导装置的无人搬
人类学意义上的“制裁”是一个中性词,系指任何社会群落、群体或组织得以存在所必需的社会控制方式。藉由“制裁”来探讨班级管理,可以超越传统上“奖”-“惩”二元化管理的
公共资源和社会大众的利益有着紧密的联系,对促进社会经济健康快速发展有着积极的促进作用。但因为我国公共资源交易市场建设起步晚,还处于发展的初期阶段,各地在建设运行和
患者女性,31岁,主因突发吞咽困难伴视物跳动感5 d,于2016年12月5日入院。患者5 d前无明显诱因突发吞咽困难、进食障碍,伴视物跳动感,同时出现反复呃逆、恶心、呕吐,伴头晕、
在新媒体互联网时代下,立足本地特色文化,将乡贤文化、风土人情、优秀家风、传统民俗等文化进行深度摄制及广泛传播,通过影视传播途径将中国传统文化进行数字化存储、宣传推
经过长期的人工选择和驯化过程,番茄(Solanum lycopersicum)和黄瓜(Cucumis sativus)已经成为世界范围内广泛栽培且深受人们喜爱的可口蔬菜。最近,中国科学家在番茄和黄瓜的
目的:研究首发抑郁症患者的视空间工作记忆的特点、影响因素。方法:选取56例首发抑郁症患者以及同期健康对照者56例作为研究对象,首发抑郁症患者为观察组,健康对照组者为对照
<正> 本文介绍了传统化粪池的功用及存在问题,提出了对于不能进入城市污水处理厂集中处理的分散建筑排放的粪便污水,采用生态节能型化粪池的工艺过程。对于底层没有设置卫生
在全球变暖、水危机和低碳经济的背景下,大型滑雪场度假区自然降雪的减少,采用人工造雪来增加雪丰度,而人工造雪消耗较大的水资源和能源,并对天文、地文、水文、人文的产生影
大肠黑变病（melanosiscoli，MC）是一种较少见的疾病，是以大肠黏膜色素沉着为特征的非炎症性良性病变。随着肠镜的普及及应用，近年来MC的检出率有明显上升。我科自2005年5月～2009年5