模糊逻辑的紧致性

在真值格的一定的紧性条件下证明了Ｐａｖｅｌｋａ逻辑的紧致性，并为再删除关于真值格的紧性条件而引入了程度化紧致性的概念。