Simplified forms of computerized reasoning with distance semantics

Ofer Arieli, Anna Zamansky. Simplified forms of computerized reasoning with distance semantics. J. Applied Logic, 9(1):1-22, 2011. [doi]

Abstract

Abstract is missing.