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

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

Research output: Contribution to journalArticle

7 Citations (Scopus)
LanguageEnglish
Pages418-431
JournalInternational Journal of Computational Intelligence Systems
Volume7
Issue number3
DOIs
Publication statusPublished - 2014

Keywords

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

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-6891",
number = "3",

}

Alpha-Quasi-lock semantic resolution method based on lattice-valued logic. / Zhong, X.M.; Xu, Y.; Liu, Jun; Chen, Shuwei.

In: International Journal of Computational Intelligence Systems, Vol. 7, No. 3, 2014, p. 418-431.

Research output: Contribution to journalArticle

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

U2 - 10.1080/18756891.2013.859868

DO - 10.1080/18756891.2013.859868

M3 - Article

VL - 7

SP - 418

EP - 431

JO - International Journal of Computational Intelligence Systems

T2 - International Journal of Computational Intelligence Systems

JF - International Journal of Computational Intelligence Systems

SN - 1875-6891

IS - 3

ER -