En nuestro proyecto de Maestría “Demostración automática de Teoremas” se crearon demostradores automáticos de fórmulas para lógica clásica, lógica intuicionista y algunas otras lógicas no clásicas. En nuestro afán por ...