Site moissonné par Isidore

« Logique partielle et inférence valide »

Chapitre d'ouvrage

« Logique partielle et inférence valide »


Auteur :
  • Pages : 329 à 349
  • Support : Document imprimé
  • Langue : Français
  • ISBN : 2-86601-461-8
  • ISSN : 0988-0569
  • Date de création : 04/01/2011
  • Dernière mise à jour : 04/01/2011

Aucune information sur les auteurs de paratexte n'a été enregistrée pour ce document

Aucune élément de paratexte n'a été enregistré pour ce document

Résumé 

Français

1, La théorie des types propositionnels; 2, La logique partielle; 3, Deux notions de validité; 4, Un système déductif pour la logique partielle.

Mots-clés