Embeddings of totally ordered MV-algebras of bounded cardinality

Published by Gaetano Vitale on

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
Tags:

Related Posts

Preprints

An extension of Stone duality to fuzzy topologies and MV-algebras

by C. Russo In this paper we introduce the concept of MV-topology, a generalization of general topology to fuzzy subsets, and we prove a proper extension of Stone duality to, respectively, semisimple MV-algebras and a Read more…

Preprints

Semiring and semimodule issues in MV-algebras

by A. Di Nola, C. Russo In this paper we propose a new perspective on the theory of MV-algebras based on the connection between such algebras and idempotent semirings. Such a viewpoint yields, among other Read more…

Preprints

Quantale modules and their operators, with applications

by C. Russo Journal of Logic and Computation (2010), 20(4): 917-946.Advance access December 2008.doi:10.1093/logcom/exn088 The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and Read more…