Studia Logica 61 (1):65-78 (1998)
The MV-algebra S m w is obtained from the (m+1)-valued ukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MV m w generated by S m w . This yields an easy description of the free MV m w -algebras over one generator. We characterize the automorphism groups of the free MV-algebras over finitely many generators.
|Keywords||free MV-algebras subvarieties of MV-algebras McNaughton functions groups of piecewise-linear functions|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
On Monadic MV-Algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.
Varieties of MV-Algebras.Giovanni Panti - 1999 - Journal of Applied Non-Classical Logics 9 (1):141-157.
A Discrete Representation of Free MV-Algebras.Antonio Di Nola, Revaz Grigolia & Luca Spada - 2010 - Mathematical Logic Quarterly 56 (3):279-288.
Similar books and articles
Averaging the Truth-Value in Łukasiewicz Logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
A Non-Finitely Based Quasi-Variety of de Morgan Algebras.Hernando Gaitán & Milton H. Perea - 2004 - Studia Logica 78 (1-2):237 - 248.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wlesław Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Natural Dualities for Varieties Ofn-Valued Łukasiewicz Algebras.H. A. Priestley - 1995 - Studia Logica 54 (3):333 - 370.
Free Łukasiewicz and Hoop Residuation Algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Added to index2009-01-28
Total downloads19 ( #246,957 of 2,132,867 )
Recent downloads (6 months)1 ( #388,508 of 2,132,867 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.