Abstract
In this short paper we shall prove that every bounded lattice L with the conditions: (c1) 1′ = 0 and (EL): (a · b′)′ = b + a′ · b′ for all a, b ∈ L is a Boolean algebra. This is a more general result than that of Renedo et al. (Proceedings NAFIPS’04, 2004), in which it is proved that every orthocomplemented lattice with (EL) is a Boolean algebra.
Similar content being viewed by others
References
Beran L (1985). Orthomodular lattices. D.Reidel Publishing, Dordrecht
Elkan C (1994). The paradoxical success of fuzzy logic. IEEE Expert 9: 3–8
Renedo E, Trillas E and Alsina C (2003). On the law (a · b′)′ = b + a′ · b′ in de Morgan algebras and orthomodular lattices. Soft Comput 8: 71–73
Renedo E, Trillas E, Alsina C (2004) On three laws typical of booleanity. In: Proceedings NAFIPS’04
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kondo, M., Dudek, W.A. On bounded lattices satisfying Elkan’s law. Soft Comput 12, 1035–1037 (2008). https://doi.org/10.1007/s00500-007-0270-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-007-0270-z