También han sido reconocidas sus aportaciones a la lógica.