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...
Autor principal: | |
---|---|
Formato: | Artigo |
Idioma: | English |
Publicado em: |
Lodz University Press
2023-09-01
|
coleção: | Bulletin of the Section of Logic |
Assuntos: | |
Acesso em linha: | https://czasopisma.uni.lodz.pl/bulletin/article/view/14019 |