Abstract
The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is investigated. Ideals and filters in Hilbert implication algebras are also discussed. In general, different theorems which show different properties are proved.
Acknowledgments
The author of this paper would like to thank the referees for their genuine comment for the improvement of the manuscript.
Citation
Dejen Gerima Tefera. "Hilbert Implication Algebra and Some Properties." J. Appl. Math. 2021 1 - 5, 2021. https://doi.org/10.1155/2021/3635185
Information