Abstract
We introduce the variety ℒ n m, m ≥ 1 and n ≥ 2, of m-generalized Łukasiewicz algebras of order n and characterize its subdirectly irreducible algebras. The variety ℒ n m is semisimple, locally finite and has equationally definable principal congruences. Furthermore, the variety ℒ n m contains the variety of Łukasiewicz algebras of order n.
Similar content being viewed by others
References
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974.
Berman, J., ‘Distributive lattices with an additional unary operation’, Aequationes Math. 16 (1977), 165-171.
Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981.
Day, A., ‘A note on the congruence extension property’, Algebra Universalis 1 (1971), 234-235.
KÖhler, P., and D. Pigozzi, ‘Varieties with equationally definable principal congruences’, Algebra Universalis 11 (1980), 213-219.
Urquhart, A., ‘Distributive lattices with a dual homomorphic operation’, Studia Logica 38 (1979), 201-209.
Vaz De Carvalho, J., ‘The subvariety K 2,0 of Ockham algebras’, Bull. Soc. Roy. Sci. Liège 53 (1984), 393-400.
Vaz De Carvalho, J., ‘Congruences on algebras of К n,o ’, Bull. Soc. Roy. Sci. Liège 54 (1985), 301-303.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Almada, T., Vaz de Carvalho, J. A Generalization of the Łukasiewicz Algebras. Studia Logica 69, 329–338 (2001). https://doi.org/10.1023/A:1013846725213
Issue Date:
DOI: https://doi.org/10.1023/A:1013846725213