The completeness and applications of the formal system ℒ*. - Daowu Pei; Guojun Wang 004 (Sci. China Ser. F Inf. Sci., 2002)

A semantically complete extension sequence of the system L*. - Daowu Pei; Guojun Wang 004 (Sci. China Ser. F Inf. Sci., 2003)

A triangular-norm-based propositional fuzzy logic. - San-Min Wang; Bao-Shu Wang; Guojun Wang 004 (Fuzzy Sets Syst., 2003)

A triangular norm-based fuzzy predicate logic. - San-Min Wang; Bao-Shu Wang; Guojun Wang 004 (Fuzzy Sets Syst., 2003)

The extensions Ln* of the formal system L*and their completeness. - Daowu Pei; Guojun Wang 004 (Inf. Sci., 2003)

Endographic approach on supremum and infimum of fuzzy numbers. - Taihe Fan; Guojun Wang 004 (Inf. Sci., 2004)