Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system