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.
|Number of pages||5|
|Journal||Journal of Shanghai Jiaotong University (Science)|
|Publication status||Published - Apr 2012|
- Lattice-valued modal logic
- Modal lattice implication algebras