• DocumentCode
    2460372
  • Title

    Medium algebra MA and medium propositional calculus MP*

  • Author

    Dongmou, Zhang

  • Author_Institution
    Nantong Textile Sch., Jangsu, China
  • fYear
    1989
  • fDate
    29-31 May 1989
  • Firstpage
    289
  • Lastpage
    294
  • Abstract
    The author establishes an algebraic system, which is equivalent to the propositional calculus system of medium logic MP*, for research in algebraic characteristics of MP*. The algebraic system is called medium algebra (MA). It is derived from Boolean algebra and possesses many similar properties. Several properties possessed by MA are presented and used to show that MA is essentially a three-valued algebra
  • Keywords
    many-valued logics; Boolean algebra; algebraic system; medium logic; propositional calculus system; three-valued algebra; Boolean algebra; Calculus; Electrical capacitance tomography; Logic functions; Mathematics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
  • Conference_Location
    Guangzhou
  • Print_ISBN
    0-8186-1947-3
  • Type

    conf

  • DOI
    10.1109/ISMVL.1989.37798
  • Filename
    37798