[1] 刘保翠, 王国俊, LIU Bao-cui, WANG Guo-jun. 二值命题逻辑中的三种Γ近似推理模式及其等价性 [J]. 模糊系统与数学 2008.
[2] 夏世芬, 毛大会, 徐扬, XIA Shi-fen, MAO Da-hui, XU Yang. 一种算子模糊逻辑系统及其Petri网推理算法 [J]. 模糊系统与数学 2008.
[3] ESTEVA F, GODO L. Monoidal t-norm based logic:tiwards a logic for left-continuous t-norms [J]. Fuzzy Sets and Systems 2001, 124.
[4] 章衡, 张明义, 杨本娟. 中间逻辑中的良构范式 [J]. 2008.
[5] 耿素云, 屈婉玲. 离散数学 [M]. 北京:高等教育出版社 2004.
[6] 王捍贫. 数理逻辑离散数学 [M]. 北京:北京大学出版社 1997.
[7] 王世强, 孟晓青. 数理逻辑与范畴论应用 [M]. 北京:北京师范大学出版社 1999. |
