Feihu Xiao, Xiaofei Yang, Xiaolong Xin, Yingcang Ma
{"title":"均匀残差网格及其考奇补全","authors":"Feihu Xiao, Xiaofei Yang, Xiaolong Xin, Yingcang Ma","doi":"10.1007/s11083-024-09683-9","DOIUrl":null,"url":null,"abstract":"<p>Distance function defined by Chang is an important tool for describing closeness and constructing topologies and uniformities on MV-algebras. Unfortunately, this function on residuated lattices is not good enough as on MV-algebras since it is not compatible with operations on residuated lattices. Based on this fact, the axioms of similarity operators and semi-norms are introduced on residuated lattices. By using the above two tools, uniformities and topologies are induced, respectively. Residuated lattices equipped with these uniformities (topologies) are proved to be uniform (topological) residuated lattices. Finally, two kinds of sequential completions for these uniformities are given and they are isomorphic.</p>","PeriodicalId":501237,"journal":{"name":"Order","volume":"10 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Uniform Residuated Lattices and their Cauchy Completions\",\"authors\":\"Feihu Xiao, Xiaofei Yang, Xiaolong Xin, Yingcang Ma\",\"doi\":\"10.1007/s11083-024-09683-9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Distance function defined by Chang is an important tool for describing closeness and constructing topologies and uniformities on MV-algebras. Unfortunately, this function on residuated lattices is not good enough as on MV-algebras since it is not compatible with operations on residuated lattices. Based on this fact, the axioms of similarity operators and semi-norms are introduced on residuated lattices. By using the above two tools, uniformities and topologies are induced, respectively. Residuated lattices equipped with these uniformities (topologies) are proved to be uniform (topological) residuated lattices. Finally, two kinds of sequential completions for these uniformities are given and they are isomorphic.</p>\",\"PeriodicalId\":501237,\"journal\":{\"name\":\"Order\",\"volume\":\"10 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Order\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11083-024-09683-9\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Order","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11083-024-09683-9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Uniform Residuated Lattices and their Cauchy Completions
Distance function defined by Chang is an important tool for describing closeness and constructing topologies and uniformities on MV-algebras. Unfortunately, this function on residuated lattices is not good enough as on MV-algebras since it is not compatible with operations on residuated lattices. Based on this fact, the axioms of similarity operators and semi-norms are introduced on residuated lattices. By using the above two tools, uniformities and topologies are induced, respectively. Residuated lattices equipped with these uniformities (topologies) are proved to be uniform (topological) residuated lattices. Finally, two kinds of sequential completions for these uniformities are given and they are isomorphic.