PFL系统的语义

给出了ＰＦＬ系统的语义，并证明了其可靠性与完备性。

PFL：不涉及隶属函数的模糊逻辑

对传统的一阶逻辑进行了扩张，建立了一个模糊逻辑系统，使之有表达和处理模糊现象的能力，在这个形式系统中，模糊命题的表示通过在模糊谓词符号中添加模糊词、程度词和特征词来实现，因此，模糊命题不涉及隶属函数。此系统在本文中已安全形式化。