Burešová, Dominika Generalized \(\mathbb{XOR}\) operation and the categorical equivalence of the abbott algebras and quantum logics. (English) Zbl 07712624 Int. J. Theor. Phys. 62, No. 5, Paper No. 98, 7 p. (2023). MSC: 03Gxx 06Cxx PDF BibTeX XML Cite \textit{D. Burešová}, Int. J. Theor. Phys. 62, No. 5, Paper No. 98, 7 p. (2023; Zbl 07712624) Full Text: DOI
Chajda, Ivan; Länger, Helmut Generalizations of implication algebras. (English) Zbl 1247.06007 Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 216, 33-43 (2007). MSC: 06C15 20N02 06A12 06E05 PDF BibTeX XML Cite \textit{I. Chajda} and \textit{H. Länger}, Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 216, 33--43 (2007; Zbl 1247.06007) Full Text: DOI
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 PDF BibTeX XML Cite \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.; Länger, H. Congruence kernels of orthoimplication algebras. (English) Zbl 1164.06005 Acta Math. Univ. Comen., New Ser. 76, No. 2, 231-240 (2007). Reviewer: Sylvia Pulmannová (Bratislava) MSC: 06C15 06B10 06D15 PDF BibTeX XML Cite \textit{I. Chajda} et al., Acta Math. Univ. Comen., New Ser. 76, No. 2, 231--240 (2007; Zbl 1164.06005) Full Text: EuDML
Chajda, Ivan Implication algebras. (English) Zbl 1133.03041 Discuss. Math., Gen. Algebra Appl. 26, No. 2, 141-153 (2006). Reviewer: Zhan Jianming (Enshi) MSC: 03G25 03G12 06C15 08A30 08B10 PDF BibTeX XML Cite \textit{I. Chajda}, Discuss. Math., Gen. Algebra Appl. 26, No. 2, 141--153 (2006; Zbl 1133.03041) Full Text: DOI
Halaš, Radomír Ideals and D-systems in orthoimplication algebras. (English) Zbl 1078.03050 J. Mult.-Val. Log. Soft Comput. 11, No. 3-4, 309-316 (2005). Reviewer: Ivan Chajda (Přerov) MSC: 03G10 03B22 06C15 PDF BibTeX XML Cite \textit{R. Halaš}, J. Mult.-Val. Log. Soft Comput. 11, No. 3--4, 309--316 (2005; Zbl 1078.03050)
Chajda, Ivan; Halaš, Radomír; Länger, Helmut Simple axioms for orthomodular implication algebras. (English) Zbl 1064.06003 Int. J. Theor. Phys. 43, No. 4, 911-914 (2004). Reviewer: Mirko Navara (Praha) MSC: 06C15 81P10 03G12 PDF BibTeX XML Cite \textit{I. Chajda} et al., Int. J. Theor. Phys. 43, No. 4, 911--914 (2004; Zbl 1064.06003) Full Text: DOI