Coupling an MV-algebra with a Boolean algebra

Nonstandard methods in many-valued logics

“…For these questions the reader is referred to [11,13,15]. Here we shall restrict ourselves to some questions relevant to the subject at hand.…”

“…First we shall prove the basic theorem in [13] by a different method. More precisely, we shall prove that given a semisimple MV-algebra, then the Boolean power does not contain infinitesimals.…”