Title :
Generating the Variety of SMV-Algebras
Author :
Di Nola, Antonio ; Flaminio, Tommaso
Author_Institution :
Dept. of Math. & Inf., Univ. of Salerno, Salerno, Italy
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;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Conference_Location :
Barcelona, Spain
Print_ISBN :
978-1-4244-6752-5
DOI :
10.1109/ISMVL.2010.34
