期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

模态逻辑中的三值逻辑 被引量：1

Three-valued Logics in Modal Logic
下载PDF
导出
摘要 每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 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.
作者 董英东
机构地区 毕节学院 西南大学
出处 《毕节学院学报（综合版）》 2014年第8期1-7,共7页 Journal of Bijie University
基金 贵州省优秀科技教育人才省长基金资助项目"动态信息和集合论视野下的博弈逻辑研究"成果之一 项目编号:201250 贵州省社科规划基金项目"基于动态认知逻辑的协议信息研究"成果之一 项目编号:14GZYB10 贵州省教育厅一般基金资助项目"动态信息视域下的认知概率逻辑研究"成果之一 项目编号:12GZJY20 毕节学院高层次人才基金资助项目"信息动态和集合论在博弈论中的应用研究"成果之一 项目编号:G2012003 贵州省科技厅联合基金资助项目"基于逻辑视域的动态信息研究"成果之一 项目编号:LKB201224 第54批博士后面上资助项目"基于动态信息的认知概率逻辑研究"成果之一 项目编号:2013M542251
关键词 三值逻辑 模态逻辑 线性翻译 辩证逻辑 Three-valued Logic Modal Logic Linear Translations Dialectic Logic
分类号 B81 [哲学宗教—逻辑学]
  • 相关文献

参考文献12

  • 1G"odel, K., Eine Interpretation des intuitionistischen Aussagenkalk"uls, Ergebnisse eines mathematischen Kolloquiums[M]. Reprinted in K. G"odel, Collected Works[M], Volume 1, Clarendon Press, Oxford, 1986: 300-302.
  • 2Batens, D., On some remarkable relations between paraconsistent logics, modal logics,and ambiguity log- ics, in W. A. Carnielli, M. E. Coniglio, and I. M. L. D' Ottaviano(eds.), Paraconsistency. The Logical Way to the Inconsistent[M].Marcel Dekker, New York, 2002:275-293.
  • 3Priest, G., The logic of paradox[J]. Journal of Philosophical Logic, 1979,(8):219-241.
  • 4Kleene, S. C., On notation for ordinal numbers[J].Journal of Symbolic Logic, 1938,(3): 150-155.
  • 5Kleene, S. C., Introduction to Metamathematics[M]. P. Noordhoff N.V., Groningen,1952.
  • 6Brown, B., Yes, Virginia, there really are paraconsistent logics[J]. Journal of Philosophical Logic 1999,(28): 489-500.
  • 7Bush, D., Sequent formalizations of three-valued logic[M], in P. Doherty (ed.), Partiality, Modality and Non- monotonicity, CSLI Publications, Stanford, 1996:45-75.
  • 8Ladner, R. E., The computational complexity of provability in systems of modal propositional logic[J].SIAM Journal on Computing ,1977,(6):467-480.
  • 9Cadoli, M., and M. Schaerf, On the complexity of entailment in propositional muhivalued logics, Annals of Mathematics and Artificial Intelligence[M].1996,(18):29 - 50.
  • 10Chellas, B. F., Modal Logic[M].Cambridge University Press, Cambridge, 1980.

同被引文献19

引证文献1

毕节学院学报（综合版）
2014年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部