Generating the Variety of SMV-Algebras
Antonio Di Nola, Tommaso Flaminio · 2010
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]*.