Naturlig avledning
Naturlig slutledning är en gren av matematisk logik som utvecklades i Polen på 1920- och 30-talen. Den är avsedd att uttrycka slutledningsregler som är nära besläktade med det "naturliga" sättet att resonera.
På grund av Łukasiewiczs seminarier i Polen 1926, där han förespråkade en mer naturlig behandling av logiken, gjorde Jaśkowski de första försöken att definiera en mer naturlig deduktion. År 1929 föreslog han först att man skulle använda en diagrammatisk notation, och senare uppdaterade han sitt förslag i artiklar 1934 och 1935.
