De Cock and Kerre, in considering Poincaré paradox, observed that the intuitive
notion of "approximate similarity" cannot be adequately represented by the fuzzy equivalence
relations. In this note we argue that the deduction apparatus of fuzzy logic gives adequate
tools with which to face the question. Indeed, a first-order theory is proposed whose fuzzy
models are plausible candidates for the notion of approximate similarity. A connection between
these structures and the point-free metric spaces is also established.
@article{1210859928,
author = {Gerla, Giangiacomo},
title = {Approximate Similarities and Poincar\'e Paradox},
journal = {Notre Dame J. Formal Logic},
volume = {49},
number = {1},
year = {2008},
pages = { 203-226},
language = {en},
url = {http://dml.mathdoc.fr/item/1210859928}
}
Gerla, Giangiacomo. Approximate Similarities and Poincaré Paradox. Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, pp. 203-226. http://gdmltest.u-ga.fr/item/1210859928/