Closure Operators of Lattice-valued Propositional Logic LP(X)
Yang Xu · Shuxue jikan · 2005
In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given.