Luonnollinen päättely
Luonnollinen päättely on matemaattisen logiikan haara, joka kehitettiin Puolassa 1920- ja 30-luvuilla. Sen tarkoituksena on ilmaista päättelysääntöjä, jotka liittyvät läheisesti "luonnolliseen" päättelytapaan.
Łukasiewiczin vuonna 1926 Puolassa järjestämien seminaarien innoittamana Jaśkowski teki ensimmäiset yritykset luonnollisemman päättelyn määrittelemiseksi. Vuonna 1929 hän ehdotti ensimmäisen kerran kaavamaista merkintätapaa, ja myöhemmin hän päivitti ehdotustaan vuosina 1934 ja 1935 julkaistuissa asiakirjoissa.
