alpha-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X)

Xiaomei Zhong; Jun Liu; Shuwei Chen; Yang Xu

alpha-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X)

Xiaomei Zhong, Jun Liu, Shuwei Chen, Yang Xu

School of Computing

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

Original language	English
Title of host publication	FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011)
Pages	159-+
Volume	122
Publication status	Published (in print/issue) - 2011

Publication series

Name	Advances in Intelligent and Soft Computing

Keywords

alpha-Quasi-lock semantic resolution method
Resolution-based automated reasoning
Linguistic truth-valued lattice-valued propositional logic
Linguistic truth-valued lattice implication algebra

Cite this

@inbook{0d3904e79ebe4535b7fa4be79c970bff,

title = "alpha-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X)",

keywords = "alpha-Quasi-lock semantic resolution method, Resolution-based automated reasoning, Linguistic truth-valued lattice-valued propositional logic, Linguistic truth-valued lattice implication algebra",

author = "Xiaomei Zhong and Jun Liu and Shuwei Chen and Yang Xu",

year = "2011",

language = "English",

isbn = "978-3-642-25663-9",

volume = "122",

series = "Advances in Intelligent and Soft Computing",

pages = "159--+",

booktitle = "FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011)",

}

alpha-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X). / Zhong, Xiaomei; Liu, Jun; Chen, Shuwei et al.
FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011). Vol. 122 2011. p. 159-+ (Advances in Intelligent and Soft Computing).

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

TY - CHAP

T1 - alpha-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic LV(nx2)P(X)

AU - Zhong, Xiaomei

AU - Liu, Jun

AU - Chen, Shuwei

AU - Xu, Yang

PY - 2011

Y1 - 2011

KW - alpha-Quasi-lock semantic resolution method

KW - Resolution-based automated reasoning

KW - Linguistic truth-valued lattice-valued propositional logic

KW - Linguistic truth-valued lattice implication algebra

M3 - Chapter

SN - 978-3-642-25663-9

SN - 978-3-642-25664-6

VL - 122

T3 - Advances in Intelligent and Soft Computing

SP - 159-+

BT - FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011)

ER -