Ideals and D-systems in Orthoimplication Algebras
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.
Ideals and D-systems in Orthoimplication Algebras
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.