A metric on [0,1] which makes it a topological SL-algebra
Seyed Mohammad Amin Khatami · 2018
We introduce a metric on [0,1] as a dual of a BL-algebra, i.e. SL-algebra, which makes all lattice operations continuous. As an application of this result, one could use the ultraproduct method on residuated lattice and their dual.