Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

Logique partielle et inférence valide

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

Mots-clés :

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 :

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.

 
Haut de pageRetour à la page précédente