α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal la...
Main Authors: | Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu, Xiaodong Pan |
---|---|
Format: | Article |
Language: | English |
Published: |
Atlantis Press
2015-12-01
|
Series: | International Journal of Computational Intelligence Systems |
Subjects: | |
Online Access: | https://www.atlantis-press.com/article/25868666.pdf |
Similar Items
-
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X)
by: Yi Liu, et al.
Published: (2013-09-01) -
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X)
by: Jiafeng Zhang, et al.
Published: (2014-01-01) -
Linguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility
by: Li Zou, et al.
Published: (2015-01-01) -
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
by: Yang Xu, et al.
Published: (2018-01-01) -
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
by: Xiaomei Zhong, et al.
Published: (2014-06-01)