Logique partielle et inférence valide

Envoyer le lien

Article

    • 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.