Implementing Euler-Venn Reasoning Systems

Contents

This paper proposes an implementation of a Euler/Venn reasoning system using directed acyclic graphs and shows that this implementation is correct with respect to a modified Shin/Hammer mathematical model of Euler/Venn Reasoning. In proving its correctness it will also be shown that the proposed implementation preserves or inherits the soundness and completeness properties of the mathematical model of the Euler/Venn system.