• DocumentCode
    2704736
  • Title

    Generating the Variety of SMV-Algebras

  • Author

    Di Nola, Antonio ; Flaminio, Tommaso

  • Author_Institution
    Dept. of Math. & Inf., Univ. of Salerno, Salerno, Italy
  • fYear
    2010
  • fDate
    26-28 May 2010
  • Firstpage
    140
  • Lastpage
    143
  • Abstract
    In this paper we show that the variety of SMV-algebras is generated by those algebras we call hyper real tensorial SMV-algebras. These are the SMV-algebras that can be defined by an MV-algebra A, and a hyper real state, i.e. a normalized and additive map s* : A → [0, 1]* .
  • Keywords
    Algebra; Computer science; Equations; Hypercubes; Informatics; Logic functions; Mathematics; Piecewise linear techniques; Prototypes; MV-algebras; hyper real states; internal states;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
  • Conference_Location
    Barcelona, Spain
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4244-6752-5
  • Type

    conf

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