alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System.

Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu

Browse the full ISKE paper archive.