Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras
LIU Yi (刘熠), LIU Jun (刘军), CHEN Shu-wei (陈树伟), XU Yang (徐扬)
Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras
LIU Yi (刘熠), LIU Jun (刘军), CHEN Shu-wei (陈树伟), XU Yang (徐扬)
上海交通大学学报（英文版） . 2012, (2): 166 -170 .  DOI: 10.1007/s12204-012-1247-3