Une application de la logique linéaire : la planification déductive

Cet article a pour objet principal l’application de la logique linéaire à l’étude d’un cas particulier de planification déterministe. – 1, Généralités; 2, Planification déterministe; 3, Planification déductive; 4, Calcul des séquents linéaires (groupe de l’identité, groupe multiplicatif, groupe additif, groupe de l’exponentielle).