Abstract
A first problem is to recognize presentations of isomorphic algebras (Problem 1 in the list of problems in Chapter 20). In Chapter 18 we will describe various algorithms dealing with finitely presented MV-algebras. As is often the case, the algorithmic theory implements the algebraic theory. This chapter is devoted to bases, a central MV-algebraic notion.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Marra, V. (2002–2003). Non-Boolean partitions. A mathematical investigation through lattice-ordered Abelian groups and MV algebras, Ph.D. thesis, Department of Computer Science, University of Milan, pp. 87.
Manara, C. (2002–2003). Relating the theory of non-boolean partitions to the design of interpretable fuzzy systems. Ph.D. thesis, Department of Computer Science, University of Milan.
Marra, V., Mundici, D. (2007). The Lebesgue state of a unital abelian lattice-ordered group. Journal of Group Theory, 10, 655–684.
Cabrer, L., Mundici, D. Finitely presented lattice-ordered abelian groups with order-unit, arxiv-1006.4188.
Mundici, D. (2006). A characterization of the free n-generated MV-algebra. Archive for Mathematical Logic, 45, 239–247.
Marra, V. (2008). A characterization of MV-algebras free over finite distributive lattices. Archive for Mathematical Logic, 47, 263–276.
Lacava, F. (2007). A characterization of free generating sets in MV-algebras. Algebra Universalis, 57, 455–462.
Semadeni, Z. (1982). Schauder bases in Banach spaces of continuous functions. Lecture Notes in Mathematics (Vol. 918). Berlin: Springer.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Mundici, D. (2011). Bases and Finitely Presented MV-Algebras. In: Advanced Łukasiewicz calculus and MV-algebras. Trends in Logic, vol 35. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0840-2_6
Download citation
DOI: https://doi.org/10.1007/978-94-007-0840-2_6
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0839-6
Online ISBN: 978-94-007-0840-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)