Γ-Implication Algebras
This paper introduces the concepts of [Formula: see text]-Implication algebras (Hilbert algebras, KU algebras, JU algebras, BE algebras, and CI algebras) each serving as a generalization of their respective counterparts: Implication algebras, Hilbert algebras, KU-algebras, BE-algebras, and CI-algebras. It is established that every commutative, self-distributive [Formula: see text]-BE algebra is a [Formula: see text]-Hilbert algebra, and that any [Formula: see text]-Implication algebra is a [Formula: see text]-BE algebra. Furthermore, every [Formula: see text]-Hilbert algebra is shown to be a self-distributive [Formula: see text]-BE algebra. We prove that [Formula: see text]-Implication algebras are [Formula: see text]-Hilbert algebras(KU-algebras, BE-algebras). We study some properties of [Formula: see text]-Implication algebras (Hilbert algebras, KU-algebras, JU-algebras, BE algebras, and CI algebras). We establish that every commutative and self-distributive [Formula: see text]-BE algebra is a [Formula: see text]-Hilbert algebra.
Authors
- M. Murali Krishna Rao (ORCID: https://orcid.org/0000-0003-4798-1259)
- Arsham Borumand Saeid (ORCID: https://orcid.org/0000-0001-9495-6027)
- Rajendra Kumar Kona (ORCID: https://orcid.org/0000-0002-2392-894X)
- Venkateswarlu Bolineni
Institutions
- Shahid Bahonar University of Kerman (IR)
- Indian Institute of Management Visakhapatnam (IN)
- Saveetha University (IN)
- GITAM University (IN)
Publication Details
- Journal
- New Mathematics and Natural Computation
- Published
- 2025-10-22
- DOI
- https://doi.org/10.1142/s1793005727500591
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00