Sobre algebras de Hilbert

Hilbert (1923) ha sido el primero en observar que un cierto conjunto de formulas del calculo preposicional clasico, en las que solo figura el conectivo de implicacion, tomadas como axiomas, permitiria desarrollar un fragmento interesante del calculo proposicional. Ese fragmento es conocido con el nombre de calculo proposicional implicativo positivo [...]