%0 Journal Article %A Halaš, Radomír %A Plojhar, Luboš %T On systems of congruences on principal filters of orthomodular implication algebras %J Mathematica Bohemica %D 2007 %P 423-435 %V 132 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133966/ %R 10.21136/MB.2007.133966 %G en %F 10_21136_MB_2007_133966