| German |
| has gloss | deu: Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg-Warschau-Schule, entwickelt wurde. |
| lexicalization | deu: Systeme natürlichen Schließens |
| French |
| has gloss | fra: La déduction naturelle est un système formel proposé par Gerhard Gentzen en 1934 pour représenter les preuves en logique du premier ordre de manière aussi proche que possible des façons naturelles de raisonner. Lintroduction de la déduction naturelle motivée par laspect peu canonique des systèmes à la Hilbert est une étape importante de lhistoire de la théorie de la démonstration pour plusieurs raisons : * contrairement aux systèmes à la Hilbert basés sur des listes daxiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : chaque connecteur est défini par une paire de règles duales (introduction/élimination) ; * elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, le calcul des séquents ; * elle a permis dans les années 1960 didentifier la première instance de lisomorphisme de Curry-Howard. |
| lexicalization | fra: Deduction naturelle |
| lexicalization | fra: Déduction Naturelle |
| Japanese |
| has gloss | jpn: 自然演繹（しぜんえんえき、）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。 |
| lexicalization | jpn: 自然演繹 |
| Dutch |
| has gloss | nld: Natuurlijke deductie is een methode om via deductie met noodzakelijkheid de geldigheid van een redenering conform vastgestelde regels te bewijzen in de logica. Het model zou gebaseerd zijn op een "natuurlijke" vorm van redeneren. Systemen van natuurlijke deductie zijn ontwikkeld voor verschillende vormen van logica, waaronder de propositielogica en de predikaatlogica. |
| lexicalization | nld: natuurlijke deductie |
| Polish |
| has gloss | pol: Dedukcja naturalna to bardzo intuicyjny i generujący dowody system dowodzenia twierdzeń, bazowany na systemach Hilberta. |
| lexicalization | pol: Dedukcja naturalna |
| Portuguese |
| has gloss | por: Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica. Nos anos 30, foram introduzidos pela primeira vez, por Gentzen e Jaśkowski, os sistemas de Dedução Natural para a Lógica Clássica. As demonstrações realizadas no sistema de dedução natural seguem uma via sintática e utilizam árvores de derivação. |
| lexicalization | por: Deducao natural |
| lexicalization | por: Deducão natural |
| lexicalization | por: Deduçao natural |
| lexicalization | por: Dedução Natural |
| Chinese |
| has gloss | zho: 在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。這種方式對比於使用公理的公理系統。 |
| lexicalization | zho: 自然演绎 |
