Corresponding Regions in Euler Diagrams

@inproceedings{Howse2002CorrespondingRI,
  title={Corresponding Regions in Euler Diagrams},
  author={John Howse and Gem Stapleton and Jean Flower and John Taylor},
  booktitle={Diagrams},
  year={2002}
}
Euler diagrams use topological properties to represent settheoretical concepts and thus are ‘intuitive’ to some people. When reasoning with Euler diagrams, it is essential to have a notion of correspondence among the regions in different diagrams. At the semantic level, two regions correspond when they represent the same set. However, we wish to construct a purely syntactic definition of corresponding regions, so that reasoning can take place entirely at the diagrammatic level. This task is… CONTINUE READING
BETA

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…