Visible acyclic differential nets, Part I: Semantics |
| |
Authors: | Michele Pagani |
| |
Institution: | Laboratoire d’Informatique de Paris Nord, Institut Galilée, Université de Paris Nord — Paris 13, France |
| |
Abstract: | We give a geometric condition that characterizes the differential nets having a finitary interpretation in finiteness spaces: visible acyclicity. This is based on visible paths, an extension to differential nets of a class of paths we introduced in the framework of linear logic nets. The characterization is then carried out as follows: the differential nets having no visible cycles are exactly those whose interpretation is a finitary relation. Visible acyclicity discloses a new kind of correctness for the promotion rule of linear logic, which goes beyond sequent calculus correctness. |
| |
Keywords: | 03 68 |
本文献已被 ScienceDirect 等数据库收录! |
|