Dedução natural
A dedução natural é um ramo da lógica matemática desenvolvido na Polônia nos anos 1920 e 30. Ela tem o objetivo de expressar regras de inferência intimamente relacionadas com a forma "natural" de raciocínio.
Estimulado por uma série de seminários na Polônia em 1926 por Łukasiewicz que defendia um tratamento mais natural da lógica, Jaśkowski fez as primeiras tentativas para definir uma dedução mais natural. Em 1929 ele sugeriu pela primeira vez em 1929 usando uma notação diagramática, e mais tarde atualizou sua proposta em papéis em 1934 e 1935.
