Advertisement

International Conference on Theory and Application of Diagrams

Diagrams 2014: Diagrammatic Representation and Inference pp 51-53 | Cite as

An Example HyperVenn Proof

  • Dave Barker-Plummer
  • Nik Swoboda
  • Michael D. Murray
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8578)

Abstract

HyperVenn is a heterogeneous logic resulting from combining the individual homogeneous logics for Euler/Venn diagrams and blocks world diagrams. We provide an example proof from the system along with a brief discussion of some of its inference rules.

Keywords

heterogeneous logic Euler/Venn diagrams blocks world diagrams 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barker-Plummer, D., Etchemendy, J., Murray, M., Pease, E., Swoboda, N.: Learning to use the openbox: A framework for the implementation of heterogeneous reasoning. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS, vol. 7352, p. 3. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  2. 2.
    Barker-Plummer, D., Swoboda, N., Murray, M.D.: Hypervenn: A diagrammatic heterogeneous logic (in preparation)Google Scholar
  3. 3.
    Barwise, J., Etchemendy, J.: Hyperproof. CSLI Publications (1995)Google Scholar
  4. 4.
    Jamnik, M.: Mathematical Reasoning with Diagrams - From Intuition to Automation. CSLI, Stanford (2001)zbMATHGoogle Scholar
  5. 5.
    Swoboda, N., Allwein, G.: Using dag transformations to verify euler/venn homogeneous and euler/venn fol heterogeneous rules of inference. Software and Systems Modeling 3(2), 136–149 (2004), http://dx.doi.org/10.1007/s10270-003-0044-8CrossRefGoogle Scholar
  6. 6.
    Urbas, M., Jamnik, M.: Diabelli: A heterogeneous proof system. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS, vol. 7364, pp. 559–566. Springer, Heidelberg (2012)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Dave Barker-Plummer
    • 1
  • Nik Swoboda
    • 2
  • Michael D. Murray
    • 1
  1. 1.CSLI/Stanford UniversityStanfordUSA
  2. 2.Universidad Politécnica de MadridBoadilla del Monte, MadridSpain

Personalised recommendations