Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic.

Hairui Jia, Yi Liu, Yang Xu

Browse the full ISKE paper archive.