Sobre las reglas para la deducción

Gödel explora las bases conceptuales de la deducción, convergiendo en la formalización que propone Jaśkowski sobre el razonamiento intuitivo.

Prawitz establece fundamentos de la teoría de la prueba moderna, alineándose con la idea de representación argumentativa más intuitiva que propone Jaśkowski.

Tarski presenta una axiomatización formal que, aunque más estructurada, refleja la búsqueda de bases lógicas que también está en el trabajo de Jaśkowski.

Łukasiewicz examina el concepto de número desde una perspectiva lógica, añadiendo profundidad a la discusión sobre fundamentos formales e intuitivos de la lógica.

Gentzen introduce el cálculo de secuencias y la deducción natural, conectando directamente con los temas de deducción y representación lógica de Jaśkowski.

Schönfinkel trata sobre la lógica combinatoria, abordando la formalización y eliminación de variables que complementan las ideas de deducción intuitiva de Jaśkowski.