Guojun Wang, K. S. Chin, C. Y. Dang. A unified approximate reasoning theory suitable for both propositional calculus system ::::L:::::::*::: and predicate calculus system ::::K:::::::*:::. Science in China Series F: Information Sciences, 48(1):1-14, 2005. [doi]
Abstract is missing.