Local versions of some congruence properties in single algebras
Ivan Chajda, Gerhard Dorfer, Helmut Länger · Czech digital mathematics library · 2004
summary:We investigate some local versions of congruence permutability, regularity, uniformity and modularity. The results are applied to several examples including implication algebras, orthomodular lattices and relative pseudocomplemented lattices.