Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras

Sponsored by the Ministry of Education of the People's Republic of China
Directed by Shanghai Jiao Tong University
ISSN 1007-1172 CN 31-1943/U

LIU Yi (刘熠), LIU Jun (刘军), CHEN Shu-wei (陈树伟), XU Yang (徐扬)

Journal of shanghai Jiaotong University (Science) . 2012, (2): 166 -170 . DOI: 10.1007/s12204-012-1247-3