Halaš, Radomír; Plojhar, Luboš On systems of congruences on principal filters of orthomodular implication algebras. (English) Zbl 1174.03030 Math. Bohem. 132, No. 4, 423-435 (2007). MSC: 03G25 06C15 PDFBibTeX XMLCite \textit{R. Halaš} and \textit{L. Plojhar}, Math. Bohem. 132, No. 4, 423--435 (2007; Zbl 1174.03030) Full Text: EuDML EMIS
Chajda, I.; Halaš, R.; Kühr, J.; Vanžurová, A. Normalization of MV-algebras. (English) Zbl 1112.06012 Math. Bohem. 130, No. 3, 283-300 (2005). MSC: 06D35 06F20 08B20 PDFBibTeX XMLCite \textit{I. Chajda} et al., Math. Bohem. 130, No. 3, 283--300 (2005; Zbl 1112.06012) Full Text: EuDML Link
Halaš, Radomír Remarks on commutative Hilbert algebras. (English) Zbl 1008.03039 Math. Bohem. 127, No. 4, 525-529 (2002). MSC: 03G25 PDFBibTeX XMLCite \textit{R. Halaš}, Math. Bohem. 127, No. 4, 525--529 (2002; Zbl 1008.03039) Full Text: EuDML
Halaš, R. Congruences and ideals on left divisible involutory groupoids. (English) Zbl 0879.08003 Math. Bohem. 121, No. 3, 269-272 (1996). Reviewer: J.Rachůnek (Olomouc) MSC: 08A30 08B99 PDFBibTeX XMLCite \textit{R. Halaš}, Math. Bohem. 121, No. 3, 269--272 (1996; Zbl 0879.08003) Full Text: EuDML
Halaš, Radomír A characterization of finite Stone pseudocomplemented ordered sets. (English) Zbl 0863.06007 Math. Bohem. 121, No. 2, 117-120 (1996). Reviewer: Š.Schwabik (Praha) MSC: 06A99 PDFBibTeX XMLCite \textit{R. Halaš}, Math. Bohem. 121, No. 2, 117--120 (1996; Zbl 0863.06007) Full Text: EuDML