ISSN: 1314-3344
Andrzej Walendziak
Demostramos que todo par de congruencias en una álgebra BG (también en una álgebra BF1/B/BM) se permuta. Este resultado implica que si A es un álgebra BG/BF1/B/BM, entonces la red de todas las congruencias en A es modular. Además, se demuestra que BF-álgebras y BCK-álgebras (también BCI/BCH/BH-álgebras) no son permutables en congruencia, en general.