On Implicative and Positive Implicative GE Algebras
GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebras verifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these algebras are investigated. Connections betwee...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2023-09-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/14019 |