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

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

Access to Document

@article{33862ae916674ad19507a24391ebfd48,

title = "Determination of a-resolution in lattice-valued first-order logic LF(X)",

author = "Y. Xu and Jun Liu and D. Ruan and X.B. Li",

year = "2011",

month = feb,

doi = "10.1016/j.ins.2010.03.024",

language = "English",

volume = "181",

pages = "1836--1862",

journal = "Information Sciences",

publisher = "Elsevier Inc.",

number = "10",

}