Approximate reasoning based on similarity

Publication Type:
Journal Article
Mathematical Logic Quarterly, 2000, 46 (1), pp. 77 - 86
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004757OK.pdf241.58 kB
Adobe PDF
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: