论文标题
逻辑图的基本元素
Basic Elements of Logical Graphs
论文作者
论文摘要
我们认为特定类型的图形对应于乘法直觉线性逻辑公式。图形符号的主要特征是它吸收连词和含义之间的某些对称性。我们查看功能编程语言标准ML中实现的基本定义和详细信息。这提供了一种功能方法来图形遍历遍历，并说明了如何仅在几行可读代码中实现图形同构。这项工作采取了用于使用逻辑公式和推导的图形语言和工具包的初始步骤。
We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation is that it absorbs certain symmetries between conjunction and implication. We look at the basic definitions and present details of an implementation in the functional programming language Standard ML. This provides a functional approach to graph traversal and demonstrates how graph isomorphism be implemented in just a few lines of readable code. This works takes the initial steps towards a graphical language and toolkit for working with logic formula and derivations.
