alpha-Resolution principle based on lattice-valued propositional logic LP(X)

Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu. alpha-Resolution principle based on lattice-valued propositional logic LP(X). Inf. Sci., 130(1-4):195-223, 2000.

Abstract

Abstract is missing.