上海交通大学学报（英文版） ›› 2012, Vol. 17 ›› Issue (2): 166-170.doi: 10.1007/s12204-012-1247-3
Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras
LIU Yi 1,2∗ (刘熠), LIU Jun 3 (刘军), CHEN Shu-wei 3 (陈树伟), XU Yang 2 (徐扬)
- (1. School of Mathematics and Information Science, Neijiang Normal University, Neijiang 641112, Sichuan, China; 2. Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China; 3. School of Computing and Mathematics, University of Ulster, Northern Ireland BT370QB, UK)
-
出版日期:2012-04-28发布日期:2012-05-31
Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras
LIU Yi 1,2∗ (刘熠), LIU Jun 3 (刘军), CHEN Shu-wei 3 (陈树伟), XU Yang 2 (徐扬)
- (1. School of Mathematics and Information Science, Neijiang Normal University, Neijiang 641112, Sichuan, China; 2. Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China; 3. School of Computing and Mathematics, University of Ulster, Northern Ireland BT370QB, UK)
-
Online:2012-04-28Published:2012-05-31
摘要： 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.
中图分类号:
引用本文
LIU Yi (刘熠), LIU Jun (刘军), CHEN Shu-wei (陈树伟), XU Yang (徐扬). Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras[J]. 上海交通大学学报（英文版）, 2012, 17(2): 166-170.
LIU Yi (刘熠), LIU Jun (刘军), CHEN Shu-wei (陈树伟), XU Yang (徐扬). Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras[J]. Journal of shanghai Jiaotong University (Science), 2012, 17(2): 166-170.
使用本文
| [1] Hughes G E, Cresswell M J. A new introduction to modal logic [M]. London, UK: Routledge, 1996. [2] Blackburn P, Derijke M, Venema Y. Modal logic [M]. London, UK: Cambridge University Press, 2001. [3] Huynh V N, Nakamori Y, Ho T B, et al. A context model for fuzzy concept analysis based upon modal logic [J]. Information Sciences, 2004, 160(1-4): 111- 129. [4] Fitting M C. Many-valued modal logics [J]. Fundamenta Informaticae, 1992, 15: 235-254. [5] Fitting M C. Many-valued modal logics II [J]. Fundamenta Informaticae, 1992, 17: 55-73. [6] Maruyama Y. Algebraic study of lattice-valued logic and lattice-valued modal logic [J]. Lecture Notes in Computer Science, 2009, 5378: 170-184. [7] Wang Guo-jun, Shi Hui-xian. Lattice-valued modal propositional logic and its completeness [J]. SCIENCE CHINA: Information Science, 2011, 41(1): 66-76 (in Chinese). [8] Xu Yang. Lattice implication algebras [J]. Journal of Southwest Jiaotong University, 1993(1): 20-27 (in Chinese). [9] Xu Y, Qin K Y. On filters of lattice implication algebras [J]. Journal of Fuzzy Mathematics, 1993, 1(2):251-260. [10] Xu Y, Qin K Y, Roh E H. A first order lattice-valued logic system. I. Semantic [J]. Journal of Fuzzy Mathematics, 2001, 9: 969-976. [11] Xu Y, Song Z M, Qin K Y, et al. Syntax of L-valued first order logic Lvfl [J]. Multiple Valued Logic, 2001,7(3-4): 213-257. [12] Xu Y, Ruan D, Kerre E E, et al. α-resolution principle based on lattice-valued first order logic LF(X) [J].Information Sciences, 2001, 132(1-4): 221-239. [13] Li Wen-jiang. Generalized lattice-valued modal logic system and resolution automated reasoning based on lattice implication algebras [D]. Chengdu: Intelligent Control Development Center, Southwest Jiaotong University,2002(in Chinese). [14] Li W J, Xu Y. On semantic of L-valued modal propositional logic LMP(X) [J]. Journal of Fuzzy Mathematics,2002, 10(4): 939-947. [15] Xu Y, Ruan D, Qin K Y, et al. Lattice-valued logic [M]. Berlin, Germany: Springer-Verlag, 2003. |
| [1] | WANG Yinglin . Fine-Grained Opinion Mining on Chinese Car Reviews with Conditional Random Field[J]. Journal of Shanghai Jiao Tong University (Science), 2020, 25(3): 325-332. |
| [2] | SU Bai-hua1 (苏柏桦), WANG Ying-lin2* (王英林). Genetic Algorithm Based Feature Selection and Parameter Optimization for Support Vector Regression Applied to Semantic Textual Similarity[J]. 上海交通大学学报（英文版）, 2015, 20(2): 143-148. |
| [3] | WANG Fei (王飞), LI Cai-hong* (李彩虹), WANG Jing-shan (王景山),XU Jiao (徐娇), LI Lian (李. A Two-Stage Feature Selection Method for Text Categorization by Using Category Correlation Degree and Latent Semantic Indexing[J]. 上海交通大学学报（英文版）, 2015, 20(1): 44-50. |
| [4] | CAO Xue (曹雪), CAI Hong-ming (蔡鸿明), BU Feng-lin (步丰林). Semantic Driven Design Reuse for 3D Scene Modeling[J]. 上海交通大学学报（英文版）, 2012, 17(2): 233-236. |
| [5] | QIAO Bai-you (乔百友), WEI Yong (魏勇), WANG Xiao-yang (王潇杨) DING Lin-lin (丁琳琳), WANG. TDRM: A Peer-to-Peer-Based Taxonomy Data Ring Model[J]. 上海交通大学学报（英文版）, 2012, 17(2): 182-189. |
| [6] | JIANG Tao (江涛), WANG Xin (王新). Research on Metamodels Consistency Verification Based on Formalization of Domain-Specific Metamodeling Language[J]. 上海交通大学学报（英文版）, 2012, 17(2): 171-177. |
| 阅读次数 | ||||||||||||||||||||||||||||||||||||||||||||||||||
|
全文 439
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
摘要 1607
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||