本文在模糊命题演算的形式演绎系统L*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L*的基于公式集的完备性的证明.首先,在形式演绎系统L*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L*中证明了封闭理论型L*-Lindenbaum代数是R0代数,并且封闭理论型L*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L*-Lindenbaum代数完成了形式系统L*完备性的证明,并改进了原有的结果.