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

Y Xu, D Ruan, Kerre EE, J Liu

Research output: Contribution to journalArticle

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

}

Xu, Y, Ruan, D, EE, K & Liu, J 2001, 'Alpha-resolution principle based on lattice-valued propositional logic LP(X)', 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.

Vol. 130, No. 1-4, 01.2001, p. 195-223.

Research output: Contribution to journalArticle

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

IS - 1-4

ER -