Enzyklopädie > G > Gentzentypkalkül
Gentzentypkalkül
Unter Gentzentypkalkülen versteht man Logikkalküle eines bestimmten Typs. Sie werden nach dem Mathematiker und Logiker Gerhard Gentzen genannt, weil diese Kalküle seinen Sequenzenkalkülen ähnlich sind.
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)