• DocumentCode
    2297573
  • Title

    Modal Operators on Non-commutative Residuated Lattices

  • Author

    Kondo, Michiro ; Kawaguchi, Mayuka F.

  • Author_Institution
    Tokyo Denki Univ., Inzai, Japan
  • fYear
    2012
  • fDate
    14-16 May 2012
  • Firstpage
    85
  • Lastpage
    88
  • Abstract
    We prove some fundamental properties of monotone modal operators on (non-commutative) residuated lattices (RL). Moreover we give a simple characterization of pseudo MV-algebras in terms of residuated lattices.
  • Keywords
    lattice theory; multivalued logic; process algebra; monotone modal operator; noncommutative residuated lattice; pseudo MV-algebra; Algebra; Educational institutions; Indexes; Integral equations; Lattices; (non-commutative) residuated lattice; modal operators; pseudo-BL algebras; pseudo-MV algebras;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
  • Conference_Location
    Victoria, BC
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4673-0908-0
  • Type

    conf

  • DOI
    10.1109/ISMVL.2012.41
  • Filename
    6214788
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2297573