Sus contribuciones a la lógica siguen presentes en el cálculo preposicional contemporáneo.