| 1. Hajek P. Metamathematics of fuzzy logic. Dordrecht / The Netherland: Kluwer Academic Publishers, 1998
2. Esteva F, Godo L. Monoidal t-normbased logic: towards a logic for left-continous t-norms. Fuzzy Sets and Systems, 2001, 124(3): 271-288
3. Cignoli R, Esteva F, Godo L, et al. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing, 2000, 4(1): 106-112
4. Hohle U. Commutative, residuated l-monoids. Non-Classical Logics and Their Applications to Fuzzy Subsets. Dordrecht the Netherland: Kluwer Academic Publishers, 1995: 53-106
5. Esteva F, Godo L, Hajek P, et al. Residuated fuzzy logics with an involutive negation. Archive for Mathmatical Logic. 2000, 39(1): 103-124
6. Klement E P, Mesiar R, Pap E. Triangular norms. Dordrecht / The Netherland: Kluwer Academic Publishers, 2000
7. Wang San-min, Wang Bao-shu, Pei Dao-wu. A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets and Systems. 2005, 149(3): 297-307
8. Pei Dao-wu, Wang Guo-jun. The completeness and applications of the formal system L*. Science in China: Series F, 2002, 45(1): 40-50
9. Wang Guo-jun. Non-classical mathematical logic and approximate reasoning. Beijing: Science Press, 2000 (in Chinese)
10. Wang Guo-jun. On the Logic foundation of fuzzy reasoning. Information Sciences, 1999, 117(1): 47-88
11. He Hua-can, Wang Hua, Liu Yong-huai, et al. Universal logic principle. Beijing: Science Press, 2001 (in Chinese)
12. He Hua-can, Liu Yong-huai, He Da-qing. Generalized logic in experience thinking. Sciences in China: Series E. 1996, 39(2): 225-234
13. He Hua-can, Ai Li-rong, Wang Hua. Uncertainties and the flexible logics. Proceedings of the 2nd International Conference on Machine Learning and Cybernetics, Nov 2-5, 2003, Xi’an, China: 2003: 72-78
14. Chen Zhi-cheng, He Hua-can, Mao Ming-yi. Correlation reasoning of complex system based on universal logic. Proceedings of the 2nd International Conference on Machine Learning and Cybernetics, Nov 2-5, 2003, Xi’an, China. 2003: 1831-1835
15. Ma Ying-cang, He Hua-can. The fuzzy reasoning rules based on universal logic. Proceedings of 2005 IEEE International Conference on Granular Computing, Jul 25-27, 2005, Beijing, China. 2005: 561-564
16. Ma Ying-cang, He Hua-can. A propositional calculus formal
deductive system of universal logic. Proceedings of the 4th International Conference on Machine Learning and Cybernetics, Aug 18-21, 2005, Guangzhou, China. Heidelberg, Germany: Springer Verlag, 2005: 2716-2721
17. Ma Ying-cang, He Hua-can. The Axiomatization for 0-level universal logic. Proceedings of the 4th International Conference on Machine Learning and Cybernetics, Aug 18-21, 2005, Guangzhou, China. Heidelberg, Germany: Springer Verlag, 2005: 367-376 |
