Article
- Dans MÉTHODES LOGIQUES POUR LES SCIENCES COGNITIVES - 1995
- Pages : 329 à 349
- ISBN : 2-86601-461-8
- ISSN : 0988-0569
- Date de création : 04-01-2011
- Dernière mise à jour : 04-01-2011
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.