This paper focuses on certain finite dimensional point derivations for the non-selfadjoint operator algebras corresponding to directed graphs. We begin by analyzing the derivations corresponding to full matrix representations of the tensor algebra of a directed graph. We determine when such a derivation is inner, and describe situations that give rise to non-inner derivations. We also analyze t...

A new deciding algorithm for categorical equivalence of derivations in Intuitionistic Multiplicative Linear Logic (IMLL) is proposed. The algorithm is based uniquely on manipulations with Gentzen-style derivations. The algorithm has low polynomial complexity. The paper also contains results concerning permutability of rules and its connection with categorical equivalence. c © 2002 Elsevier Scie...

Abstract Let χ be a Banach space of dimension n > 1 and