Sciweavers

71
Voted
MLQ
2000
90views more  MLQ 2000»
14 years 8 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 composin...
Loredana Biacino, Giangiacomo Gerla, Mingsheng Yin...