Uno de los aspectos más conocidos de su trabajo son sus axiomatizaciones de la lógica proposicional.