On the variety of M -generalized łukasiewicz algebras of order N
Studia Logica 94 (2) (2010)
| Abstract | In this paper we pursue the study of the variety of m -generalized Łukasiewicz algebras of order n which was initiated in [1]. This variety contains the variety of Łukasiewicz algebras of order n . Given , we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain Łukasiewicz algebra of order n and for each congruence on A we find a description via the corresponding Stone filter. We characterize the principal congruences on A via Stone filters. In doing so, we obtain a polynomial equation which defines the principal congruences on the algebras of . After showing that for m > 1 and n > 2, the variety of Łukasiewicz algebras of order n is a proper subvariety of , we prove that is a finitely generated discriminator variety and point out some consequences of this strong property, one of which is congruence permutability. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesM. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
Radomír Halaš (2008). The Variety of Lattice Effect Algebras Generated by MV-Algebras and the Horizontal Sum of Two 3-Element Chains. Studia Logica 89 (1):19 - 35.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65 - 78.
Jie Fang (2008). Ockham Algebras with Balanced Double Pseudocomplementation. Studia Logica 90 (2):189 - 209.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3).
Sergio A. Celani (2011). Classical Modal De Morgan Algebras. Studia Logica 98 (1-2):251-266.
Andrei Popescu (2005). Łukasiewicz-Moisil Relation Algebras. Studia Logica 81 (2):167 - 189.
M. Campercholi, D. Castaño & J. P. Díaz Varela (2011). Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras. Studia Logica 98 (1-2):267-283.
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
Analytics
Monthly downloads |
Added to index2010-02-27Total downloads3 ( #202,107 of 549,695 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
