α-Lock resolution method for a lattice-valued first-order logic

X.X. He, Y. Xu, Jun Liu, D. Ruan

Research output: Contribution to journalArticle

18 Citations (Scopus)
LanguageEnglish
Pages1274-1280
JournalEngineering Applications of Artificial Intelligence
Volume24
Issue number7
DOIs
Publication statusPublished - 2011

Cite this

He, X.X. ; Xu, Y. ; Liu, Jun ; Ruan, D. / α-Lock resolution method for a lattice-valued first-order logic. 2011 ; Vol. 24, No. 7. pp. 1274-1280.
@article{d21da0b95a274c10a43d700e4cdfa8ef,
title = "α-Lock resolution method for a lattice-valued first-order logic",
author = "X.X. He and Y. Xu and Jun Liu and D. Ruan",
year = "2011",
doi = "10.1016/j.engappai.2011.07.003",
language = "English",
volume = "24",
pages = "1274--1280",
number = "7",

}

α-Lock resolution method for a lattice-valued first-order logic. / He, X.X.; Xu, Y.; Liu, Jun; Ruan, D.

Vol. 24, No. 7, 2011, p. 1274-1280.

Research output: Contribution to journalArticle

TY - JOUR

T1 - α-Lock resolution method for a lattice-valued first-order logic

AU - He, X.X.

AU - Xu, Y.

AU - Liu, Jun

AU - Ruan, D.

PY - 2011

Y1 - 2011

U2 - 10.1016/j.engappai.2011.07.003

DO - 10.1016/j.engappai.2011.07.003

M3 - Article

VL - 24

SP - 1274

EP - 1280

IS - 7

ER -