“…Logics for spaces endowed with a metric or a more general distance function have been considered in a series of contributions by Kutz et al, see, e.g., [16,17]. Furthermore, logics on comparative similarity have been studied by Alenda et al, see, e.g., [1,2,3]. It is also worth mentioning that there are some connections with graded or fuzzy consequence relations as studied by Pavelka [21,20], Chakraborty [6,7], and Gerla [12] among others in the context of many-valued logics, since indeed, graded implications α > c β capture, at a syntactic (meta-)level, the idea of β being a consequence of α to the degree c. However, in the present context, α and β are classical propositions, not many-valued ones.…”