Deduzione naturale
La deduzione naturale è un ramo della logica matematica sviluppato in Polonia negli anni '20 e '30. Ha lo scopo di esprimere regole di inferenza strettamente legate al modo "naturale" di ragionare.
Stimolato da una serie di seminari tenuti in Polonia nel 1926 da Łukasiewicz che sostenevano un trattamento più naturale della logica, Jaśkowski fece i primi tentativi di definire una deduzione più naturale. Nel 1929 suggerì per la prima volta di usare una notazione diagrammatica, e più tardi aggiornò la sua proposta in articoli del 1934 e 1935.
