Highly Influenced

- Published 2005 in Electr. Notes Theor. Comput. Sci.
DOI:10.1016/j.entcs.2005.02.023

The main goal of this paper is to present the basis for a heterogeneous Euler/Venn diagram and First Order Logic (FOL) reasoning system. We will begin by defining a homogeneous reasoning system for Euler/Venn diagrams including named constants and show this system to be sound and complete. Then we will propose a heterogeneous rule of inference allowing the… CONTINUE READING

### Presentations referencing similar topics