Affiliations: [a] Business School, Xi’an International University, Xi’an, China
| [b] School of Science, Xi’an Polytechnic University, Xi’an, China
Correspondence:
[*]
Corresponding author. Xiao Long Xin, School of Science, Xi’an Polytechnic University, Xi’an 710048, China E-mail: [email protected].
Note: [1] This research is supported by a grant of State Administration of Foreign Experts Affairs (DL2023041002L).
Abstract: In this paper, we firstly extend C. C. chang’s distance functions from MV-algebras into residuated lattices. But in general, the functions may not be a distance function on residuated lattices. We introduce weak involutory residuated lattices, in which Chang’s function is a pseduo distance function. Moreover we prove that the functions become distance functions on involutory residuated lattices. Secondly by use of the function and a lattice filter, we define F-ball on residuated lattices, and we prove that the set of all F-balls forms a base of a topology τLF on an involutory residuated lattice. Moreover we show that the topology τLF on an involutory residuated lattice L makes L to be a topological residuated lattice. At last, we use filters instead of lattice filters to set up filter topologies on an involutory residuated lattice, and study the properties of the filter topologies.
