2015/06/12 by Jan Konecny, Konecny, Jan, Michal Krupka +1
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
paper · pdf · doi:10.48550/arxiv.1506.03930
Preprint submitted to Fuzzy Sets and Systems
arxiv created 2015/06/12 · arxiv updated 2015/06/15
We generalize the notion of complete binary relation on complete lattice to residuated lattice valued ordered sets and show its properties. Then we focus on complete fuzzy tolerances on fuzzy complete lattices and prove they are in one-to-one correspondence with extensive isotone Galois connections. Finally, we prove that fuzzy complete lattice, factorized by a complete fuzzy tolerance, is again a fuzzy complete lattice.