Non-Clausal Multi-ary <i>α</i>-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
The International journal of computational intelligence systems/International journal of computational intelligence systems