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). 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",
number = "1-4",

}

Xu, Y, Ruan, D, EE, K & Liu, J 2002, 'Alpha-Resolution principle based on first-order lattice-valued logic LF(X)', vol. 132, no. 1-4, pp. 221-239.

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

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

IS - 1-4

ER -