Login / Signup
-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems.
Weitao Xu
Wenqiang Zhang
Dexian Zhang
Yang Xu
Xiaodong Pan
Published in:
Int. J. Comput. Intell. Syst. (2015)
Keyphrases
</>
propositional logic
first order logic
search space
query language