Document Type : Original Manuscript

Author

Department of Computer Science, Birjand University of Technology, Birjand, Iran.

Abstract

This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \too , 0, 1)$, the introduced topology is defined by a distance-like function between elements of $L$ which is defined by $a \leftrightarrow b=(a\too b)*(b\too a)$. We will show that when the continuous scale $[0,1]$ is endowed to be a BL-algebra, then this topology admits some of the most important properties of the metric topology. Finally, we will show that this topology can be examined by a similar topology on dual of BL-algebras as well.

Keywords

1. C. Alsina, E. Trillas and L. Valverde, On some logical connectives for fuzzy sets theory, J. Math. Anal. Appl., 93(1) (1983), 15–26.
2. D. Boixader, F. Esteva and L. Godo, On the continuity of t-norms on bonded chains, In Proceedings of the Eighth International Fuzzy Systems Association World Congress (IFSA’99), (1999), 476–479.
3. R. A. Borzooei, G. Rezaei and N. Kouhestani, Metrizability on (semi)topological BL-algebras, Soft Computing, 16(10) (2012), 1681–1690.
4. R. A. Borzooei, G. Rezaei and N. Kouhestani, On (semi) topological BL-algebras, Iran. J. Math. Sci. Inform., 6(1) (2011), 59–77.
5. C. C. Chang, A new proof of the completeness of the Łukasiewicz axioms, Trans. Amer. Math. Soc., 93(1) (1959), 74–80.
6. P. Hájek, Metamathematics of Fuzzy Logic￿, Kluwer Academic Trends in Logic, Springer Netherlands, 1998.
7. U. Höhle, Probabilistic uniformization of fuzzy topologies, Fuzzy Sets and Systems, 1(4) (1978), 311–332.
8. S. M. A. Khatami, A metric on [0; 1] which makes it a topological SL-algebra, In Proceedings of the 6th Iranian Joint Congress on Fuzzy and Intelligent Systems
(CFIS’2018) (2018), 111–113.
9. E. P. Klement, R. Mesiar and E. Pap, Triangular Norms, Springer Netherlands, 2000.
10. K. Menger, Statistical Metrics, Proc. Nat. Acad. of Sci., U.S.A., 28(12) (1942), 535–537.