相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Bi-modal Godel logic over [0,1]-valued Kripke frames
Xavier Caicedo et al.
JOURNAL OF LOGIC AND COMPUTATION (2015)
Kripke semantics for modal bilattice logic
Achim Jung et al.
2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) (2013)
Residuated bilattices
Ramon Jansana et al.
SOFT COMPUTING (2012)
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
S. P. Odintsov et al.
STUDIA LOGICA (2012)
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Felix Bou et al.
JOURNAL OF LOGIC AND COMPUTATION (2011)
The logic of distributive bilattices
Felix Bou et al.
LOGIC JOURNAL OF THE IGPL (2011)
Paraconsistent Modal Logics
Umberto Rivieccio
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2011)
MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
Graham Priest
REVIEW OF SYMBOLIC LOGIC (2008)
Algebraic semantics for paraconsistent Nelson's logic
SP Odintsov
JOURNAL OF LOGIC AND COMPUTATION (2003)