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

Wenjiang Li, Yang Xu, Jun Ma, Jun Liu

Research output: Contribution to journalConference articlepeer-review

Abstract

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.

Original languageEnglish
Pages (from-to)327-330
Number of pages4
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume5
Publication statusPublished - 2002
Event2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia
Duration: 6 Oct 20029 Oct 2002

Keywords

  • Consistence
  • Deduction theorem
  • L-valued modal propositional logic
  • Soundness

Fingerprint

Dive into the research topics of 'A lattice-valued modal propositional logic system LMP(X)'. Together they form a unique fingerprint.

Cite this