Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras

doi:10.1007/s12204-012-1247-3

Abstract

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.

Key words:

modal lattice implication algebras| lattice-valued modal logic| semantic| syntax

摘要： 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.

关键词:

modal lattice implication algebras| lattice-valued modal logic| semantic| syntax

CLC Number:

TP 18

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.

References

[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.