形式模糊命题逻辑推理系统

本文给出了真值取在布尔代数上的形式模糊命题逻辑推理系统 FL,并且证明了它的一致性,有效性和完备性。