基于模糊逻辑的几类Kripke结构之间的关系
潘海玉,张敏,陈仪香
Relationships among Several Types of Kripke Structures Based on Fuzzy Logic
PAN Hai-yu,ZHANG Min and CHEN Yi-xiang
计算机科学 . 2013, (5): 42 -44 .