α-Resolution Fields ofGeneralized Literals ofLogic LP(X)

WANG Wei; JIANG Bao-qing; XU Yang

Volume 18 Issue 4

Aug. 2005

Turn off MathJax

Article Contents

Journal of Southwest Jiaotong University > 2005 > 18(4): 544-547.

WANG Wei, JIANG Bao-qing, XU Yang. α-Resolution Fields ofGeneralized Literals ofLogic LP(X)[J]. Journal of Southwest Jiaotong University, 2005, 18(4): 544-547.

Citation:

WANG Wei, JIANG Bao-qing, XU Yang. α-Resolution Fields ofGeneralized Literals ofLogic LP(X)[J]. Journal of Southwest Jiaotong University, 2005, 18(4): 544-547.

WANG Wei, JIANG Bao-qing, XU Yang. α-Resolution Fields ofGeneralized Literals ofLogic LP(X)[J]. Journal of Southwest Jiaotong University, 2005, 18(4): 544-547.

Citation:

WANG Wei, JIANG Bao-qing, XU Yang. α-Resolution Fields ofGeneralized Literals ofLogic LP(X)[J]. Journal of Southwest Jiaotong University, 2005, 18(4): 544-547.

PDF( 0 KB)

α-Resolution Fields ofGeneralized Literals ofLogic LP(X)

Publish Date: 25 Aug 2005

Abstract

Abstract

The research onα-resolution fields of generalized literals of lattice-valued propositional logic LP (X) is the subsequence of the work onα-resolution principle based on lattice-valued propositional logic LP(X), where the algebra of true-values is a lattice implication algebra. The characteristics of constants, prepositional variables and some generalized literals of LP (X) were discussed, and theirα-resolution fieldswere obtained.
- constant,
- propositional variable,
- generalized literal,
- α-resolution field