Completeness proofs for diagrammatic logics

  • Authors:

  • Jim Burton;Gem Stapleton;John Howse

  • Affiliations:

  • Visual Modelling Group, University of Brighton, UK;Visual Modelling Group, University of Brighton, UK;Visual Modelling Group, University of Brighton, UK

  • Venue:
  • Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We identify commonality in the completeness proof strategies for Euler-based logics and show how, as expressiveness increases, the strategy readily extends. We identify a fragment of concept diagrams, an expressive Euler-based notation, and demonstrate that the completeness proof strategy does not extend to this fragment.