Il est l'auteur d'œuvres logiques, telle la Logique symbolique (1896), adressée aux profanes et aux jeunes. Ses récits réunissent sa passion de la logique formelle et sa fascination pour l'imagination enfantine (Alice au pays des merveilles, 1865 ; la Chasse au Snark, 1876).