Equilibrium Graphs
Pedro Cabalar, Carlos P\'erez, Gilberto P\'erez
TL;DR
This paper introduces a diagrammatic extension of Peirce's existential graphs to visually represent Quantified Equilibrium Logic, enhancing educational and illustrative understanding of complex logical expressions.
Contribution
It develops a novel visual formalism for QEL that replaces logical connectives with encircled regions and uses identity lines for quantifiers, maintaining expressive power.
Findings
Formalism accurately represents QEL expressions
Enhances understanding through visual representation
Potential educational applications
Abstract
In this paper we present an extension of Peirce's existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives are replaced by encircled regions (circles and squares) and quantified variables are represented as "identity" lines. Although the expressive power is equivalent to that of QEL, the new representation can be useful for illustrative or educational purposes.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsOrigins and Evolution of Life · Logic, programming, and type systems