The variety generated by all the ordinal sums of perfect MV-chains (Q361853)

Perfect MV-algebras are those MV-algebras generated by their infinitesimal (non-Archimedean) elements. The topic of this paper is the investigation of BL-algebras arising as ordinal sums of totally ordered perfect MV-algebras, and of the variety generated by such BL-chains. It is shown that this variety also contains other chains that are not an ordinal sum of perfect MV-chains, and a characterization theorem of chains in this variety is given. The propositional logic and the first-order logic corresponding to this variety of BL-algebras are investigated: it is shown that the propositional logic \(\mathrm{BL}_{\text{Chang}}\) enjoys finite strong completeness (but not strong completeness) with respect to the ordinal sum of \(\omega\) copies of the perfect MV-chain obtained as disconnected rotation of the standard cancellative hoops and that the first-order logic \(\mathrm{BL}_{\text{Chang}}\forall\) is not complete with respect to any \(\mathrm{BL}_{\text{Chang}}\)-chain.