Approximate Consequence Operator

Approximate Reasoning Based on Similarity

Abstract The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the …

Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying