A new formal deductive system for fuzzy predicate calculus

• 一个新的模糊谓词演算形式系统