Alpha-resolution principle based on lattice-valued propositional logic LP(X)

Y Xu, D Ruan, Kerre EE, J Liu

Research output: Contribution to journal › Article

LanguageEnglish
Pages195-223
JournalInformation Sciences
Volume130
Issue number1-4
Publication statusPublished - Jan 2001

Cite this

Xu, Y ; Ruan, D ; EE, Kerre ; Liu, J. / Alpha-resolution principle based on lattice-valued propositional logic LP(X). In: Information Sciences. 2001 ; Vol. 130, No. 1-4. pp. 195-223.
@article{6a1cf033ad144d36914b543cd92c3894,
title = "Alpha-resolution principle based on lattice-valued propositional logic LP(X)",
author = "Y Xu and D Ruan and Kerre EE and J Liu",
year = "2001",
month = "1",
language = "English",
volume = "130",
pages = "195--223",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier",
number = "1-4",

}

Xu, Y, Ruan, D, EE, K & Liu, J 2001, 'Alpha-resolution principle based on lattice-valued propositional logic LP(X)', Information Sciences, vol. 130, no. 1-4, pp. 195-223.

Alpha-resolution principle based on lattice-valued propositional logic LP(X). / Xu, Y; Ruan, D; EE, Kerre; Liu, J.

In: Information Sciences, Vol. 130, No. 1-4, 01.2001, p. 195-223.

Research output: Contribution to journal › Article

TY - JOUR

T1 - Alpha-resolution principle based on lattice-valued propositional logic LP(X)

AU - Xu, Y

AU - Ruan, D

AU - EE, Kerre

AU - Liu, J

PY - 2001/1

Y1 - 2001/1

M3 - Article

VL - 130

SP - 195

EP - 223

JO - Information Sciences

T2 - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 1-4

ER -

Xu Y, Ruan D, EE K, Liu J. Alpha-resolution principle based on lattice-valued propositional logic LP(X). Information Sciences. 2001 Jan;130(1-4):195-223.