Dedukcja naturalna
Naturalna dedukcja to gałąź logiki matematycznej rozwinięta w Polsce w latach dwudziestych i trzydziestych XX wieku. Jej zadaniem jest wyrażanie reguł wnioskowania ściśle związanych z "naturalnym" sposobem rozumowania.
Jaśkowski, zachęcony serią seminariów Łukasiewicza w Polsce w 1926 roku, postulujących bardziej naturalne traktowanie logiki, podjął najwcześniejsze próby zdefiniowania bardziej naturalnej dedukcji. Po raz pierwszy zaproponował w 1929 roku użycie notacji diagramowej, a następnie uaktualnił swoją propozycję w pracach z 1934 i 1935 roku.
