Olivier Laurent

Connectives of linear logic are sometimes classified as canonical or not. This refers to the possibility (or not) to characterise a connective (up to logical equivalence) by means of its introduction rules. The standard claim is that all linear-logic connectives, but the exponential ones, are canonical. We want to stress that this claim strongly depends, not only on linear logic itself, but on the way rules are constructed. This means in particular that canonicity is not an intrinsic property of connectives but depends on how they are presented: canonicity is not canonical…