α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X)

• Main Authors: Jiafeng Zhang, Yang Xu, Xingxing He
• Format: Article
• Language: English
• Published: Atlantis Press 2014-01-01
• Series: International Journal of Computational Intelligence Systems
• Subjects: Automated reasoning; Resolution principle; Semantic resolution method; Lattice-valued logic; Linguistic truth-valued lattice implication algebras
• Online Access: https://www.atlantis-press.com/article/25868460.pdf

This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic. Concretely, α-generalized semantic resolution for lattice-valued propositional logic ()P(X) is equivalently transformed into that for lattice-valued propositional logic P(X)( ∊ {1,2…,}). A similar conclusion is obtained between the α-generalized semantic resolution for linguistic truth-valued lattice-valued propositional logic P(X) and that for lattice-valued propositional logic P(X)( ∊ {1,2,…,}). Secondly, the generalized semantic resolution for lattice-valued propositional logic P(X) based on a chain-type truth-valued field is investigated and its soundness and weak completeness are given. The Presented work provides some foundations for resolution-based automated reasoning in linguistic truth-valued lattice-valued logic based on lattice implication algebra.