Přirozená dedukce
Přirozená dedukce je odvětví matematické logiky, které bylo vyvinuto v Polsku ve 20. a 30. letech 20. století. Má vyjadřovat pravidla odvozování úzce související s "přirozeným" způsobem uvažování.
Jaśkowski, jehož podnítila série seminářů v Polsku v roce 1926, kde Łukasiewicz obhajoval přirozenější pojetí logiky, učinil první pokusy o definici přirozenější dedukce. V roce 1929 poprvé navrhl v roce 1929 použití diagramatického zápisu a později svůj návrh aktualizoval v článcích z let 1934 a 1935.
