Determination of a-resolution in lattice-valued first-order logic LF(X)

Y. Xu, Jun Liu, D. Ruan, X.B. Li

Research output: Contribution to journalArticle

49 Citations (Scopus)
Original languageEnglish
Pages (from-to)1836-1862
JournalInformation Sciences
Volume181
Issue number10
DOIs
Publication statusPublished - Feb 2011

Cite this