Syntactic Extension of Lattice-valued Propositional Logic LP(X)
Yang Xu · Shuxue jikan · 2006
We have given a semantic extension of lattice-valued propositional logic LP(X) in [6]. In this paper, we investigate its corresponding syntactic extension of LP(X) and give the relations between these two extensions.