α-Quasi-lock semantic resolution method for linguistic truth-valued lattice-valued propositional logic LV(n×2)P(x)

X.M. Zhong, Jun Liu, S.W. Chen, Y. Xu

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Foundations of Intelligent Systems: Advances in Intelligent and Soft Computing
Publisher	Springer
Pages	159-169
Volume	122
ISBN (Print)	3642256635-10
Publication status	Published (in print/issue) - 2012

Cite this

@inbook{a0ace156fb43476485afd62d532d0b00,

title = "α-Quasi-lock semantic resolution method for linguistic truth-valued lattice-valued propositional logic LV(n×2)P(x)",

author = "X.M. Zhong and Jun Liu and S.W. Chen and Y. Xu",

year = "2012",

language = "English",

isbn = "3642256635-10",

volume = "122",

pages = "159--169",

booktitle = "Foundations of Intelligent Systems: Advances in Intelligent and Soft Computing",

publisher = "Springer",

address = "Switzerland",

}

TY - CHAP

T1 - α-Quasi-lock semantic resolution method for linguistic truth-valued lattice-valued propositional logic LV(n×2)P(x)

AU - Zhong, X.M.

AU - Liu, Jun

AU - Chen, S.W.

AU - Xu, Y.

PY - 2012

Y1 - 2012

UR - https://www.scopus.com/pages/publications/84859035764

M3 - Chapter

SN - 3642256635-10

VL - 122

SP - 159

EP - 169

BT - Foundations of Intelligent Systems: Advances in Intelligent and Soft Computing

PB - Springer

ER -