A lattice-valued modal propositional logic system LMP(X)

摘要

In this paper, two operators N and P are introduced into LP(x), then a new lattice-valued modal propositional logic system LMP(X) is given. With possible world semantics, N and P are described. Furthermore, some properties on semantics and syntax are discussed, and some important conclusions are got, including soundness theorem, deduction theorem and consistence theorem.