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

    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 languageEnglish
    Pages (from-to)166-170
    Number of pages5
    JournalJournal of Shanghai Jiaotong University (Science)
    Volume17
    Issue number2
    DOIs
    Publication statusPublished - 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: liuyiyl@126.com

    Keywords

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

    Fingerprint

    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