Connections between GE algebras and pre-Hilbert algebras

نویسندگان

1 Institute of Mathematics, Faculty of Exact and Natural Science, Siedlce University, PL-08110 Siedlce, Poland

doi
10.22034/as.2023.20655.1678
چکیده

GE algebras (generalized exchange algebras) and pre-Hilbert algebras are a generalization of well-known Hilbert algebras. In the paper, connections between these algebras are studied. In particular, it is proven that pi-BE algebras are equivalent with GE algebras satisfying the exchange property. Some characterizations of transitive GE algebras and exchange pre-Hilbert algebras are given. It is shown that the intersection of classes of GE algebras and pre-Hilbert algebras is the class of transitive GE algebras. Moreover, GE, BE and pre-Hilbert algebras with the antisymmetry property are investigated. It is proven that transitive GE algebras satisfying the property of antisymmetry coincide with Hilbert algebras. Finally, positive implicative GE and pre-Hilbert algebras are considered, their connections with some algebras of logic are presented. In addition, the hiearchies existing between the classes of algebras studied here are shown.