直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的不确定性的模糊现象。归结方法是定理机器证明的重要工具。归结原理简洁而又美观,吸引众多学者投入到归结原理的研究队伍中去。由于传统的直觉模糊逻辑的归结原理存在着归结过程较复杂、计算机工作量较大的现象,因此,本文基于经典归结方法中锁归结方法的思想提出了直觉模糊命题逻辑的(α,β)-广义锁归结方法。此归结方法比直觉模糊逻辑传统的归结方法更易实现。此外,本文在直觉模糊命题逻辑(α,β)-广义锁归结方法的基础上,提出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结方法。进一步约束了冗余子句的产生,减少了计算机的工作量。本文的主要研究成果如下:为了简化直觉模糊命题逻辑的归结过程,本文基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念,证明了广义子句与其(α,β)-归结式的同可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了直觉模糊命题逻辑的(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊命题逻辑的(α,β)-广义锁归结算法步骤,并通过实例说明该方法的有效性。为了提高直觉模糊命题逻辑的(α,β)-锁归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到了直觉模糊命题逻辑的(α,β)-准锁语义归结方法,并证明了该归结方法的可靠性与完备性。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结演绎的概念。讨论了直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和广义锁子句的合并规则。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结算法,并通过实例说明了该方法的有效性。