Deducción natural
La deducción natural es una rama de la lógica matemática desarrollada en Polonia en los años veinte y treinta. Su objetivo es expresar reglas de inferencia estrechamente relacionadas con la forma "natural" de razonar.
Estimulado por una serie de seminarios celebrados en Polonia en 1926 por Łukasiewicz que abogaban por un tratamiento más natural de la lógica, Jaśkowski realizó los primeros intentos de definir una deducción más natural. En 1929 sugirió por primera vez el uso de una notación diagramática, y posteriormente actualizó su propuesta en documentos de 1934 y 1935.
