基于格蕴涵代数的格值逻辑中的类归结方法

摘要

为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法，该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性，并提出了一种针对蕴涵的类归结方法和一些值得探讨的问题。