Déduction naturelle
La déduction naturelle est une branche de la logique mathématique développée en Pologne dans les années 20 et 30. Elle vise à exprimer des règles d'inférence étroitement liées au mode de raisonnement "naturel".
Encouragé par une série de séminaires organisés en Pologne en 1926 par Łukasiewicz qui préconisait un traitement plus naturel de la logique, Jaśkowski a fait les premières tentatives de définition d'une déduction plus naturelle. En 1929, il a d'abord suggéré d'utiliser une notation schématique, puis a mis à jour sa proposition dans des documents en 1934 et 1935.
