A Method of Simplifying Many-Valued Generalized Quantifiers Tableau Rules Based on Boolean Pruning

• 基于布尔剪枝的多值广义量词Tableau推理规则简化方法