The logic of assertive graphs (AGs) is a modification of Peirce’s logic of existential graphs (EGs), which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions (ClAG) whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deep-inference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. We then compare advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deep-inferential nature of proofs.

中文翻译：

---

论断言图的逻辑哲学

断言图 (AG) 的逻辑是对 Peirce 的存在图 (EG) 逻辑的修改，它是直观的，并将断言作为其明确的研究对象。在本文中，我们将 AG 扩展为经典的断言图形逻辑（ClAG），其内部逻辑是经典的。特点是AGs和ClAG都保留了转换的深度推理规则。与经典 EG 不同，AG 和 ClAG 都可以这样做，而无需在其语言中明确引入区域的极性。然后，我们参考逻辑哲学中的许多主题及其证明的深层推理性质，比较这两种图形方法在断言逻辑方面的优势。