We investigate the relationships between the dynamical properties of Boolean networks and properties of their Jacobian matrices, in particular the existence of local cycles in the associated interaction graphs. We define the notion of hereditarily bijective maps, and we use it to strengthen the property of unicity of a fixed point and to provide simplified proofs and generalizations of theorems relating attractors to the existence of local cycles, in particular local positive cycles. We then argue that this notion may not suffice to prove, under a suitable hypothesis such as the existence of a cyclic attractor or a stronger hypothesis, the existence of local negative cycles. We then consider a class of Boolean networks called and-or-nets, and for this class, we prove that the hypothesis of an antipodal attractive cycle implies the existence of a local negative cycle.

The class CC of concurrent constraint programming languages and its non-monotonic extension LCC based on linear constraint systems can be given a logical semantics in Girard's intuitionistic linear logic for a variety of observables. In this paper we settle basic completeness results and we show how the phase semantics of linear logic can be used to provide simple and very concise "semantical" proofs of safety properties for GC or LCC programs.