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

Wenjiang Li; Yang Xu; Jun Ma; Jun Liu

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

Wenjiang Li, Yang Xu, Jun Ma, Jun Liu

Research output: Contribution to journal › Conference article › peer-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 language	English
Pages (from-to)	327-330
Number of pages	4
Journal	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume	5
Publication status	Published (in print/issue) - 2002
Event	2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia Duration: 6 Oct 2002 → 9 Oct 2002

Keywords

Consistence
Deduction theorem
L-valued modal propositional logic
Soundness

Cite this

@article{7cefae5d063245579d26743b702d8966,

title = "A lattice-valued modal propositional logic system LMP(X)",

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.",

keywords = "Consistence, Deduction theorem, L-valued modal propositional logic, Soundness",

author = "Wenjiang Li and Yang Xu and Jun Ma and Jun Liu",

year = "2002",

language = "English",

volume = "5",

pages = "327--330",

journal = "Proceedings of the IEEE International Conference on Systems, Man and Cybernetics",

issn = "0884-3627",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "2002 IEEE International Conference on Systems, Man and Cybernetics ; Conference date: 06-10-2002 Through 09-10-2002",

}

TY - JOUR

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

AU - Li, Wenjiang

AU - Xu, Yang

AU - Ma, Jun

AU - Liu, Jun

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

KW - Consistence

KW - Deduction theorem

KW - L-valued modal propositional logic

KW - Soundness

UR - http://www.scopus.com/inward/record.url?scp=0038069039&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0038069039

SN - 0884-3627

VL - 5

SP - 327

EP - 330

JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

T2 - 2002 IEEE International Conference on Systems, Man and Cybernetics

Y2 - 6 October 2002 through 9 October 2002

ER -

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

Abstract

Keywords

Other files and links

Fingerprint

Cite this