Join-semilattices whose principal filters are pseudocomplemented lattices (Q5057590)
From MaRDI portal
scientific article; zbMATH DE number 7633762
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Join-semilattices whose principal filters are pseudocomplemented lattices |
scientific article; zbMATH DE number 7633762 |
Statements
Join-semilattices whose principal filters are pseudocomplemented lattices (English)
0 references
16 December 2022
0 references
join-semilattice
0 references
pseudocomplemented lattice
0 references
intuitionistic implication
0 references
non-classical implication semilattice
0 references
sectionally residuated join-semilattice
0 references
relatively residuated join-semilattice
0 references
I-algebra
0 references
variety of I-algebras
0 references
congruence distributive
0 references
3-permutable
0 references
weakly regular
0 references
R-algebra
0 references
