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.