by Piotr Wojciechoski

For a given cardinal number a, we construct a totally ordered MV-algebra M(a) having the property that every totally-ordered MV-algebra of cardinality at most a embeds into M(a). In case a = ℵ0 , the algebra M(a) is the first known MV-algebra with respect to which the deductive system for the infinitely-valued Lukasiewicz’s propositional logic is strongly complete.

Categories: Preprints