RADOMIR HALAS

In the paper congruences of orthomodular implication algebras introduced by J.C. Abbott [1] are characterized by means of D-systems and ideal terms.