Alpha-Resolution principle based on first-order lattice-valued logic LF(X)

Y Xu, D Ruan, Kerre EE, J Liu

Research output: Contribution to journalArticle

LanguageEnglish
Pages221-239
JournalInformation Sciences
Volume132
Issue number1-4
Publication statusPublished - Jan 2002

Cite this

Xu, Y ; Ruan, D ; EE, Kerre ; Liu, J. / Alpha-Resolution principle based on first-order lattice-valued logic LF(X). In: Information Sciences. 2002 ; Vol. 132, No. 1-4. pp. 221-239.
@article{584479add64b47369ad0bbc283ebdb6e,
title = "Alpha-Resolution principle based on first-order lattice-valued logic LF(X)",
author = "Y Xu and D Ruan and Kerre EE and J Liu",
year = "2002",
month = "1",
language = "English",
volume = "132",
pages = "221--239",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier",
number = "1-4",

}

Alpha-Resolution principle based on first-order lattice-valued logic LF(X). / Xu, Y; Ruan, D; EE, Kerre; Liu, J.

In: Information Sciences, Vol. 132, No. 1-4, 01.2002, p. 221-239.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Alpha-Resolution principle based on first-order lattice-valued logic LF(X)

AU - Xu, Y

AU - Ruan, D

AU - EE, Kerre

AU - Liu, J

PY - 2002/1

Y1 - 2002/1

M3 - Article

VL - 132

SP - 221

EP - 239

JO - Information Sciences

T2 - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 1-4

ER -