1. Zhu, W.J., Xiao, X.: An extension of the propositional calculus system of medium logic (I) (II). J. Nanjing Univ. (Natural Sciences Edition) 26(4), 564–578 (1990); 27(2), 209–221 (1991)
2. Zhu, W.J., Xiao, X.A.: Propositional calculus system of medium logic (i) (ii) (iii). J. Math. Res. Expo. 8(2), 327–332, (3), 457–466, (4), 617–631 (1998)
3. Zou, J., Qui, W. : Medium Modal logic formal system and semantics. In: Proceedings of 19th International Symposium Multiple-Valued Logic (1989)
4. Gong, N.S., Zhang, D.M., Zhu, W.J.: Theory and implementation of the medium automatic reasoning (IV)- a kind of modal logic system based on medium logic. Pattern Recognit. Artif. Intell. 8(1), 1–8 (1995)
5. Zhang, D.M., Gong, N.S.: Theory and implementation of the medium automatic reasoning (V)-the table deduction system of the medium modal logic MK. Pattern Recognit. Artif. Intell. 8(2), 114–120 (1995)