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

null Wenjiang Li; null Yang Xu; null Jun Ma; null Jun Liu

Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1109/icsmc....

Article . 2003 . Peer-reviewed

Data sources: Crossref

https://dx.doi.org/10.1109/ics...

Article

Data sources: Microsoft Academic Graph

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

descriptionPublicationkeyboard_double_arrow_right Article 27 Aug 2003Publisher:IEEEJournal:IEEE International Conference on Systems, Man and Cybernetics, volume vol.5, page 4

Authors: null Wenjiang Li; null Yang Xu; null Jun Ma; null Jun Liu;

doi: 10.1109/icsmc.2002.1176376

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

- Summary
- Metrics

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 obtained, including the soundness theorem, deduction theorem and consistence theorem.

Related Organizations

Southeast University
China (People's Republic of)
Southwest Jiaotong University
China (People's Republic of)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average