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
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;
Conference_Titel :
Systems, Man and Cybernetics, 2002 IEEE International Conference on
Print_ISBN :
0-7803-7437-1
DOI :
10.1109/ICSMC.2002.1176376
