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.
|Number of pages||4|
|Journal||Proceedings of the IEEE International Conference on Systems, Man and Cybernetics|
|Publication status||Published - 2002|
|Event||2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia|
Duration: 6 Oct 2002 → 9 Oct 2002
- Deduction theorem
- L-valued modal propositional logic