Alpha-Quasi-lock semantic resolution method based on lattice-valued logic

X.M. Zhong; Y. Xu; Jun Liu; Shuwei Chen

doi:10.1080/18756891.2013.859868

Alpha-Quasi-lock semantic resolution method based on lattice-valued logic

X.M. Zhong, Y. Xu, Jun Liu, Shuwei Chen

NSFC

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

Original language	English
Pages (from-to)	418-431
Journal	International Journal of Computational Intelligence Systems
Volume	7
Issue number	3
DOIs	https://doi.org/10.1080/18756891.2013.859868
Publication status	Published (in print/issue) - 2014

Keywords

α-Quasi-lock semantic resolution method
resolution-based automated reasoning
general form of α-resolution principle
lattice-valued logic
lattice implication algebra

Access to Document

10.1080/18756891.2013.859868

Cite this

@article{1e0b3ec6be7547008ba2d31f7653be32,

title = "Alpha-Quasi-lock semantic resolution method based on lattice-valued logic",

keywords = "α-Quasi-lock semantic resolution method, resolution-based automated reasoning, general form of α-resolution principle, lattice-valued logic, lattice implication algebra",

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

year = "2014",

doi = "10.1080/18756891.2013.859868",

language = "English",

volume = "7",

pages = "418--431",

journal = "International Journal of Computational Intelligence Systems",

issn = "1875-6883",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - Alpha-Quasi-lock semantic resolution method based on lattice-valued logic

AU - Zhong, X.M.

AU - Xu, Y.

AU - Liu, Jun

AU - Chen, Shuwei

PY - 2014

Y1 - 2014

KW - α-Quasi-lock semantic resolution method

KW - resolution-based automated reasoning

KW - general form of α-resolution principle

KW - lattice-valued logic

KW - lattice implication algebra

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

U2 - 10.1080/18756891.2013.859868

DO - 10.1080/18756891.2013.859868

M3 - Article

SN - 1875-6883

VL - 7

SP - 418

EP - 431

JO - International Journal of Computational Intelligence Systems

JF - International Journal of Computational Intelligence Systems

IS - 3

ER -

Alpha-Quasi-lock semantic resolution method based on lattice-valued logic

Keywords

Access to Document

Other files and links

Cite this