形式演绎系统f的扩张

从语义和语法两个方面将形式演绎系统f层次化，得到f的一个扩张，从而增强了系统f的表达能力，使之能更有效地应用于模糊系统的研究，。