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

Y Xu, D Ruan, Kerre EE, J Liu

Research output: Contribution to journal › Article › peer-review

Cite this

@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 = jan,

language = "English",

volume = "132",

pages = "221--239",

journal = "Information Sciences",

publisher = "Elsevier",

number = "1-4",

}