Studia Logica 94 (2):291-305 (2010)
|Abstract||In this paper we pursue the study of the variety of m -generalized Łukasiewicz algebras of order n which was initiated in . 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||Łukasiewicz algebra of order n m-generalized Łukasiewicz algebra of order n finitely generated variety discriminator variety equationally definable principal congruences congruence permutable variety congruence uniform variety congruence coherent variety congruence regular variety filtral variety|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
M. 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):425-445.
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.
Added to index2010-02-27
Total downloads3 ( #213,250 of 722,813 )
Recent downloads (6 months)0
How can I increase my downloads?