• DocumentCode
    2617704
  • Title

    MP logical algebra

  • Author

    Yan, Jianping

  • Author_Institution
    Dept. of Comput. Sci., Beijing Normal Univ., Beijing, China
  • fYear
    2011
  • fDate
    27-29 June 2011
  • Firstpage
    505
  • Lastpage
    508
  • Abstract
    In this paper, we define a logical algebra named MP-algebra and discuss its algebraic properties. We find that MP algebra not only takes Boole algebra, MV-algebra and R0 algebra as its special examples but also holds the subdirect representation theorem same as that of on Boole algebra, MV algebra and R0 algebra. We also explore the basic properties of implication operation of MP-algebra. We prove that an MP-algebra is also a residuated lattice with many good properties. The conclusions we got show that MP-algebra is a well-structure logic algebra when it is taken as the logic truth degree set.
  • Keywords
    Boolean algebra; formal logic; Boole algebra; MP logical algebra; MV-algebra; algebraic property; logic truth degree set; residuated lattice; subdirect representation theorem; Boolean algebra; Fuzzy logic; Fuzzy sets; Lattices; Semantics; System-on-a-chip; MP-algebra; MV-algebra; R0-algebra; residuated lattice; subdirect representation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Service System (CSSS), 2011 International Conference on
  • Conference_Location
    Nanjing
  • Print_ISBN
    978-1-4244-9762-1
  • Type

    conf

  • DOI
    10.1109/CSSS.2011.5974530
  • Filename
    5974530
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2617704