DocumentCode
389605
Title
A lattice-valued modal propositional logic system LMP(X)
Author
Li, Wenjiang ; Xu, Yang ; Ma, Jun ; Jun Liu
Author_Institution
Dept. of Appl. Math., Southwest Jiaotong Univ., Sichuan, China
Volume
5
fYear
2002
fDate
6-9 Oct. 2002
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.
Keywords
formal logic; natural languages; consistence theorem; deduction theorem; lattice-valued modal propositional logic system; natural language; possible world semantics; soundness theorem; syntax; Algebra; Calculus; Cost accounting; Lattices; Logic; Mathematics; Natural languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2002 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7437-1
Type
conf
DOI
10.1109/ICSMC.2002.1176376
Filename
1176376
Link To Document