Distributive implication groupoids

Ivan Chajda 1  and Radomir Halaš 1
  • 1 Palacký University Olomouc Tomkova 40


We introduce a concept of implication groupoid which is an essential generalization of the implication reduct of intuitionistic logic, i.e. a Hilbert algebra. We prove several connections among ideals, deductive systems and congruence kernels which even coincide whenever our implication groupoid is distributive.

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • [1] J.C. Abbott: “Semi-boolean algebra”, Matem. Vestnik, Vol. 4, (1967), pp. 177–198.

  • [2] I. Chajda and R. Halaš: “Algebraic properties of pre-logics”, Math. Slovaca, Vol. 52, (2002), pp. 157–175.

  • [3] A. Diego: “Sur les algébres de Hilbert”, Col. de Logique Math. Ser. A., Vol. 21, (1967), pp. 31–34.

  • [4] W. Dudek: “On ideals in Hilbert algebras”, Acta Univ. Palack. Olom., Fac. rer. nat., Mathematica, Vol. 38, (1999), pp. 31–34.

  • [5] R. Halaš: “Remarks on commutative Hilbert algebras”, Mathem. Bohemica, Vol. 127, (2002), pp. 525–529.


Journal + Issues

Open Mathematics is a fully peer-reviewed, open access, electronic journal that publishes significant and original works in all areas of mathematics. The journal publishes both research papers and comprehensive and timely survey articles. Open Math aims at presenting high-impact and relevant research on topics across the full span of mathematics.