This paper focuses on resolution-based automated reasoning theory in a lattice-valued logic
system with truth values that are defined in a lattice-valued logical algebraic structure-lattice …

It is commonsense that people do express, think, reason, and make decision directly using
linguistic terms in natural language rather than using numerical quantification. How to …

This paper focuses on efficient non-clausal resolution-based automated reasoning methods
and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to …

This paper concerns the representation of the linguistic evaluation set, which is often a total
order set for its simple structure and operations. However, in some uncertain situations, the …

Due to the need of the logical foundation for uncertain information processing, development
of efficient automated reasoning system based on non-classical logics is always an active …

This paper presents an approach for (α, β)-resolution-based automated reasoning in
intuitionistic fuzzy propositional logic (IFL). In IFL systems, every IFL formula with both a truth …

In order to deal with the decision making problem including some linguistic values
uncertainty information, we propose an approach for decision making with linguistic …

From a general algebraic point of view, this paper aims at providing an algebraic analysis for
binary lattice-valued relations based on lattice implication algebras—a kind of lattice-valued …

为更合理的表示不确定性知识ꎬ 在格蕴涵代数的基础上ꎬ 运用不同程度的语气词表达一个模糊
命题的真值程度ꎬ 建立一个基于2n 元语言值格值一阶逻辑的知识表示模型ꎮ …

In this paper, a-paramodulation and a-GH paramodulation methods are proposed for
handling logical formulas with equality in a lattice-valued logic LnF (X), which has unique …