Stanisław Jaśkowski
Stanisław Jaśkowski (22 de abril de 1906, en Varsovia - 16 de noviembre de 1965, en Varsovia) fue un lógico polaco que hizo importantes contribuciones a la teoría de la prueba y la semántica formal . Fue alumno de Jan Łukasiewicz y miembro de la Escuela de Lógica de Lwów-Varsovia . A su muerte, su nombre se agregó al Genius Wall of Fame. Fue presidente (rector) de la Universidad Nicolaus Copernicus de Toruń .
Jaśkowski es considerado uno de los fundadores de la deducción natural , que descubrió independientemente de Gerhard Gentzen en la década de 1930. El enfoque de Gentzen inicialmente se hizo más popular entre los lógicos porque podía usarse para probar el teorema de eliminación de cortes . Sin embargo, el de Jaśkowski está más cerca de la forma en que se realizan las demostraciones en la práctica. También fue uno de los primeros en proponer un cálculo formal de lógica tolerante a la inconsistencia (o paraconsistente) . Además, Jaśkowski fue un pionero en la investigación tanto de la lógica intuicionista como de la lógica libre .
