Sciweavers

MLQ
2000

Approximate Reasoning Based on Similarity

13 years 10 months ago
Approximate Reasoning Based on Similarity
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. Mathematics Subject Classification: 03B52, 94D05,68T27.
Loredana Biacino, Giangiacomo Gerla, Mingsheng Yin
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where MLQ
Authors Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying
Comments (0)