The B4-Modalized Propositional Logic

摘要：

　　A modalized propositional Belnap-Dunn logic will be proposed in this paper which there are four modalities t; ?; ?; f to represent the four values t;?;?; f; respectively,and a Gentzentyped deduction system will be given so that the the system is sound and complete with the four-valued semantics of the Belnap-Dunn logic.

关键词： The Belnap-Dunn logic,modality,the soundness,the completeness

作者: Cao Cungen Sui Yuefei Deng Shaobo

作者单位: Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Aca Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Aca

会议类型: 国际会议

会议名称: 2015 International Conference on Mechanical, Electronics and Information Technology Engineering(ICMITE2015)(2015机械、电子与信息技术工程国际会议)

会议地点: 重庆

会议语种:英文

页码: 343-346

在线出版日期: 2015-03-21（万方平台首次上网日期，不代表论文的发表时间）