Lattice-valued modal propositional logic based on M-lattice implication algebras

Yi Liu, Jun Liu, Shu Wei Chen, Yang Xu

    Research output: Contribution to journalArticlepeer-review


    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 languageEnglish
    Pages (from-to)166-170
    Number of pages5
    JournalJournal of Shanghai Jiaotong University (Science)
    Issue number2
    Publication statusPublished - Apr 2012


    • Lattice-valued modal logic
    • Modal lattice implication algebras
    • Semantic
    • Syntax


    Dive into the research topics of 'Lattice-valued modal propositional logic based on M-lattice implication algebras'. Together they form a unique fingerprint.

    Cite this