Γ-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

Institutions

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Γ-Implication Algebras

M. Murali Krishna Rao, Arsham Borumand Saeid, Rajendra Kumar Kona, Venkateswarlu Bolineni
New Mathematics and Natural Computation
Logic, programming, and type systems
article

Γ-Implication Algebras

M. Murali Krishna Rao, Arsham Borumand Saeid, Rajendra Kumar Kona, Venkateswarlu Bolineni
article en

Abstract

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.

New Mathematics and Natural Computation
Shahid Bahonar University of Kerman (IR), Indian Institute of Management Visakhapatnam (IN), Saveetha University (IN), GITAM University (IN)
Openalex Percentile: Top 84%
Logic, programming, and type systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Γ-Implication Algebras — M. Murali Krishna Rao, Arsham Borumand Saeid, et al. · New Mathematics and Natural Computation (2025) | TGRS Research Map | TGRS