Determination of a-resolution in lattice-valued first-order logic LF(X)

Y. Xu, Jun Liu, D. Ruan, X.B. Li

Research output: Contribution to journalArticle

48 Citations (Scopus)
LanguageEnglish
Pages1836-1862
JournalInformation Sciences
Volume181
Issue number10
DOIs
Publication statusPublished - Feb 2011

Cite this

Xu, Y. ; Liu, Jun ; Ruan, D. ; Li, X.B. / Determination of a-resolution in lattice-valued first-order logic LF(X). In: Information Sciences. 2011 ; Vol. 181, No. 10. pp. 1836-1862.
@article{33862ae916674ad19507a24391ebfd48,
title = "Determination of a-resolution in lattice-valued first-order logic LF(X)",
author = "Y. Xu and Jun Liu and D. Ruan and X.B. Li",
year = "2011",
month = "2",
doi = "10.1016/j.ins.2010.03.024",
language = "English",
volume = "181",
pages = "1836--1862",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier",
number = "10",

}

Determination of a-resolution in lattice-valued first-order logic LF(X). / Xu, Y.; Liu, Jun; Ruan, D.; Li, X.B.

In: Information Sciences, Vol. 181, No. 10, 02.2011, p. 1836-1862.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Determination of a-resolution in lattice-valued first-order logic LF(X)

AU - Xu, Y.

AU - Liu, Jun

AU - Ruan, D.

AU - Li, X.B.

PY - 2011/2

Y1 - 2011/2

U2 - 10.1016/j.ins.2010.03.024

DO - 10.1016/j.ins.2010.03.024

M3 - Article

VL - 181

SP - 1836

EP - 1862

JO - Information Sciences

T2 - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 10

ER -