On the Variety of m-generalized Lukasiewicz Algebras of Order n

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)


In this paper we pursue the study of the variety L-n(m) of m-generalized Lukasiewicz algebras of order n which was initiated in [1]. This variety contains the variety of Lukasiewicz algebras of order n. Given A is an element of L-n(m), we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain Lukasiewicz 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 L-n(m). After showing that for m > 1 and n > 2, the variety of Lukasiewicz algebras of order n is a proper subvariety of L-n(m), we prove that L-n(m) is a finitely generated discriminator variety and point out some consequences of this strong property, one of which is congruence permutability.
Original languageUnknown
Pages (from-to)291-305
JournalStudia Logica
Issue number2
Publication statusPublished - 1 Jan 2010

Cite this