Approximate reasoning based on similarity
- Publication Type:
- Journal Article
- Mathematical Logic Quarterly, 2000, 46 (1), pp. 77 - 86
- Issue Date:
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in  can be obtained by composing two closure operators and that the resulting operator is still a closure operator. Also, we extend any similarity into a similarity which is compatible with the logical equivalence, and we prove that this gives the same consequence relation.
Please use this identifier to cite or link to this item: