| 模态逻辑中的三值逻辑 |
| |
| 引用本文： | 董英东.模态逻辑中的三值逻辑[J].毕节师范高等专科学校学报,2014(8):1-7. |
| |
| 作者姓名： | 董英东 |
| |
| 作者单位： | [1]毕节学院,贵州毕节551700; [2]西南大学,重庆400715 |
| |
| 基金项目： | 贵州省优秀科技教育人才省长基金资助项目“动态信息和集合论视野下的博弈逻辑研究”成果之一,项目编号：201250; 贵州省社科规划基金项目“基于动态认知逻辑的协议信息研究”成果之一,项目编号：14GZYB10; 贵州省教育厅一般基金资助项目“动态信息视域下的认知概率逻辑研究”成果之一,项目编号：12GZJY20; 毕节学院高层次人才基金资助项目“信息动态和集合论在博弈论中的应用研究”成果之一,项目编号：G2012003; 贵州省科技厅联合基金资助项目“基于逻辑视域的动态信息研究”成果之一,项目编号：LKB201224; 第54批博士后面上资助项目“基于动态信息的认知概率逻辑研究”成果之一,项目编号：2013M542251 |
| |
| 摘 要： | 每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。
|
| 关 键 词： | 三值逻辑 模态逻辑 线性翻译 辩证逻辑 |
Three-valued Logics in Modal Logic |
| |
| DONG Ying-dong.Three-valued Logics in Modal Logic[J].Journal of Bijie Teachers College,2014(8):1-7. |
| |
| Authors: | DONG Ying-dong |
| |
| Institution: | DONG Ying-dong (1. Bijie University, Bijie,Guizhou551700, China; 2.Southwest University, Chongqing 400715, China) |
| |
| Abstract: | We give a general definition of truth-functional three-valued propositional logic and a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. we show that because for every S5-model there is a translationally equivalent three-valued valuation and vice versa, every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. Finally, we present a linear translation that conservatively translates both LP and K3 into S5. |
| |
| Keywords: | Three-valued Logic Modal Logic Linear Translations Dialectic Logic |
| 本文献已被 维普 等数据库收录！ |
