Abstract
Inspired by the theory of apartness relations of Scott, we establish a positive theory of dissimilarity valued in an involutive quantale Qwithout the ......
小提示:本篇文献需要登录阅读全文,点击跳转登录