Interaction nets revisited

Past attempts to apply Girard's linear logic to Lafont's interaction nets by treating "symbols" as logical rules, however, failed to come to a significant explanation. In this paper, we try to model "symbols" as external axioms and use "tensor" to describe partition of auxiliary ports. We show that our solution leads to a very natural logical interpretation of the computation on interaction nets.