The modal lattice implication algebra (i. e., M-lattice implication algebra) is introduced and its properties are investigated. The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field, and the syntax and semantic of the logical system are discussed, respectively.
Bibliographical noteFunding Information:
Received date: 2011-10-17 Foundation item: the National Natural Science Founda-tion of China (No. 61175055), the Scientific Research Fund of Sichuan Provincial Education Department (11ZB023) and the Sichuan Key Technology Research and Development Program (No. 2011FZ0051) ∗E-mail: firstname.lastname@example.org
- Lattice-valued modal logic
- Modal lattice implication algebras