平衡图
Equilibrium Graphs
University of Corunna（科鲁尼亚大学）
摘要：
在本文中，我们提出了一个扩展皮尔士的存在图提供一个图形表示的表达式在量化平衡逻辑（QEL）。使用这种形式化，逻辑连接词被包围的区域（圆圈和正方形）取代，量化变量被表示为“身份”线。虽然表达能力与QEL相当，但新的表示法可用于说明或教育目的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
