2 papers
math.CT2019
Quantale-valued dissimilarity
Hongliang Lai, Lili Shen, Yuanye Tao +1
Inspired by the theory of apartness relations of Scott, we establish a positive theory of dissimilarity valued in an involutive quantale without the aid of negation. I…
cs.LO2019
Multi-adjoint concept lattices via quantaloid-enriched categories
Hongliang Lai, Lili Shen
With quantaloids carefully constructed from multi-adjoint frames, it is shown that multi-adjoint concept lattices, multi-adjoint property-oriented concept lattices and multi-adjoin…