运用应明生教授于 90年代早期提出的连续值逻辑语义的方法引入了不分明化环的概念 ,并且讨论了它的若干性质
蒋志勇,盛梅波.不分明化环[J].华东交通大学学报,2000,17(3):71-74..[J]. JOURNAL OF EAST CHINA JIAOTONG UNIVERSTTY,2000,17(3):71-74