Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras (Q3520226)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras |
scientific article |
Statements
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras (English)
0 references
15 August 2008
0 references
Brouwerian algebra
0 references
Heyting algebra
0 references
Boolean algebra
0 references
s-equivalence relation
0 references
divisible residuated lattice
0 references
BL-algebra
0 references
MV-algebra
0 references
