Back to Search
Start Over
On GE-algebras
- Source :
- Bulletin of the Section of Logic, Vol 50, Iss 1, Pp 81-96 (2021)
- Publication Year :
- 2021
- Publisher :
- Lodz University Press, 2021.
-
Abstract
- Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced and studied its properties. We consider filters, upper sets and congruence kernels in a GE-algebra. We also characterize congruence kernels of transitive GE-algebras.
- Subjects :
- (transitive) ge-algebra
filter
upper set
congruence kernel
Logic
BC1-199
Subjects
Details
- Language :
- English
- ISSN :
- 01380680 and 2449836X
- Volume :
- 50
- Issue :
- 1
- Database :
- Directory of Open Access Journals
- Journal :
- Bulletin of the Section of Logic
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.ff72f07fffd4d168f893a82117d30ac
- Document Type :
- article
- Full Text :
- https://doi.org/10.18778/0138-0680.2020.20