A discrete representation of free MV-algebras

作者：Di Nola Antonio^*; Grigolia Revaz; Spada Luca

来源：Mathematical Logic Quarterly, 2010, 56(3): 279-288.

DOI：10.1002/malq.200910008

• Lukasiewicz logic
• free MV-algebra
• McNaughton function

We prove that the m-generated free MV-algebra is isomorphic to a quotient of the disjoint union of all the m-generated free MV(n)-algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV(n)-algebras and special maps between them as morphisms.

• 出版日期2010-6