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

Cite this

@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",

}