Implementing Euler/Venn Reasoning Systems

Abstract

This paper proposes an implementation of a Euler/Venn reasoning system using directed acyclic graphs and showsthat this implementationis correct with respect to a modified Shin/Hammermathematical model of Euler/Venn Reasoning. In proving its correctness it will also be shownthat the proposed implementation preserves or inherits the soundnessand completenes sproperties of the mathematicalmodel of the Euler/Venn system.