Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

ARTICLE

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

  • Pages : 121 à 163
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 04-01-2011

Mots-clés :

Résumé :

Français

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).

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Dimanche 17 octobre 2021