Lazi

Comment définir les extensions nécessaire ?

Description

On a vu les extensions nécessaires. Il s'agit ici de définir plus précisément ces extensions :

  • type d'extension (événement, déduction etc)
  • Pour les règles de déduction:
    • arguments
    • domaine
    • objet
  • preuve de validité

Sous-tâches