Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 166-170 |
Number of pages | 5 |
Journal | Journal of Shanghai Jiaotong University (Science) |
Volume | 17 |
Issue number | 2 |
DOIs | |
Publication status | Published (in print/issue) - Apr 2012 |
Bibliographical note
Funding 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: [email protected]
Keywords
- Lattice-valued modal logic
- Modal lattice implication algebras
- Semantic
- Syntax