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

ImprimerEnvoyer le lien

ARTICLE

Changements minimaux constructifs

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

Résumé :

Français

1, Introduction; 2, Langage et sémantique; 3, Axiomatique; 4, Mise en forme normale; 5, Correction et complétude; 6, Déduction automatique dans ASSUME; 7, La représentation du changement dans ASSUME; 8, Discussion.

 

Haut de page

Retour à la page précédente

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