Filter-based resolution principle for lattice-valued propositional logic LP(::::X::::)

Jun Ma, Wenjiang Li, Da Ruan, Yang Xu. Filter-based resolution principle for lattice-valued propositional logic LP(::::X::::). Inf. Sci., 177(4):1046-1062, 2007. [doi]

Abstract

Abstract is missing.