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

Original languageEnglish
Pages (from-to)221-239
JournalInformation Sciences
Volume132
Issue number1-4
Publication statusPublished - Jan 2002

Cite this