Enzyklopädie > G > Gentzenscher Hauptsatz
Gentzenscher Hauptsatz
Der Gentzensche Hauptsatz (Auch: Schnittsatz, cut-elimination theorem) besagt, dass die Transitivität in speziellen Logikkalkülen zulässig ist.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)