Approximate reasoning based on similarity

Publication Type:
Journal Article
Citation:
Mathematical Logic Quarterly, 2000, 46 (1), pp. 77 - 86
Issue Date:
2000-01-01
Filename Description Size
Thumbnail2008004757OK.pdf241.58 kB
Adobe PDF
Full metadata record
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] 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: