期刊
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
卷 278, 期 -, 页码 173-186出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.entcs.2011.10.014
关键词
Paraconsistent modal logic; Nelson logic; twist-structure; Belnap logic
We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twist- structures, generalizing a known result on the representation of the algebraic counterpart of paraconsistent Nelson logic.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据