Finitely Generated Free MV-Algebras and Their Automorphism Groups
Studia Logica 61 (1):65 - 78 (1998)
| Abstract | The MV-algebra $S_{m}^{\omega}$ 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 $\text{MV}_{m}^{\omega}$ generated by $S_{m}^{\omega}$ . This yields an easy description of the free $\text{M}_{m}^{\omega}$ -algebras over one generator. We characterize the automorphism groups of the free MV-algebras over finitely many generators. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAntonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65-78.
L. Peter Belluce, Revaz Grigolia & Ada Lettieri (2005). Representations of Monadic MV -Algebras. Studia Logica 81 (1):123 - 144.
Fabio Bellissima (1986). Finitely Generated Free Heyting Algebras. Journal of Symbolic Logic 51 (1):152-165.
Joel Berman & W. J. Blok (2004). Free Łukasiewicz and Hoop Residuation Algebras. Studia Logica 77 (2):153 - 180.
H. A. Priestley (1995). Natural Dualities for Varieties Ofn-Valued Łukasiewicz Algebras. Studia Logica 54 (3):333 - 370.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Hernando Gaitán & Milton H. Perea (2004). A Non-Finitely Based Quasi-Variety of de Morgan Algebras. Studia Logica 78 (1-2):237 - 248.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Katarzyna Slomczyńska (2005). Free Spectra of Linear Equivalential Algebras. Journal of Symbolic Logic 70 (4):1341 - 1358.
Stefano Aguzzoli & Brunella Gerla (2010). Probability Measures in the Logic of Nilpotent Minimum. Studia Logica 94 (2).
Júlia Vaz de Carvalho (2010). On the Variety of M -Generalized Łukasiewicz Algebras of Order N. Studia Logica 94 (2).
Roberto Cignoli & Antoni Torrens Torrell (2006). Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(X2) = (2x). Studia Logica 83 (1-3):157 - 181.
Matteo Bianchi (2013). The Variety Generated by All the Ordinal Sums of Perfect MV-Chains. Studia Logica 101 (1):11-29.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
Anatolij Dvurečenskij (2001). States on Pseudo MV-Algebras. Studia Logica 68 (3):301-327.
Analytics
Monthly downloads |
Added to index2011-05-29Total downloads4 ( #178,473 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
