First-order logics for comparative similarity
The author offers a formalization of the notion of degree of similarity. It is argued that this should be a four-termed relation of comparative similarity. Some results on axiomatizations by a finite number of first- order formulas and on correspondence between theories are obtained.
scientific article; zbMATH DE number 4110665