Abstract
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.
Citation
Giangiacomo Gerla. "Approximate Similarities and Poincaré Paradox." Notre Dame J. Formal Logic 49 (2) 203 - 226, 2008. https://doi.org/10.1215/00294527-2008-008
Information