Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu 0001, Xiaodong Pan. -Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems. Int. J. Computational Intelligence Systems, 8(sup1):75-84, 2015. [doi]
@article{XuZZ0P15,
title = {-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems},
author = {Weitao Xu and Wenqiang Zhang and Dexian Zhang and Yang Xu 0001 and Xiaodong Pan},
year = {2015},
doi = {10.1080/18756891.2015.1129580},
url = {https://doi.org/10.1080/18756891.2015.1129580},
researchr = {https://researchr.org/publication/XuZZ0P15},
cites = {0},
citedby = {0},
journal = {Int. J. Computational Intelligence Systems},
volume = {8},
number = {sup1},
pages = {75-84},
}