TY  - JOUR
AU  - Halaš, Radomír
AU  - Plojhar, Luboš
TI  - On systems of congruences on principal filters of orthomodular implication algebras
JO  - Mathematica Bohemica
PY  - 2007
SP  - 423
EP  - 435
VL  - 132
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133966/
DO  - 10.21136/MB.2007.133966
LA  - en
ID  - 10_21136_MB_2007_133966
ER  -