Gentzena systemy wnioskowania

Gentzena systemy wnioskowania,

mat. log. odmienne od używanych systemy notacji logiki formalnej;

wprowadzone przez G. Gentzena systemy wnioskowania, obejmujące logikę klas. i intuicjonistyczną na poziomie logiki zdań i predykatów; używają odrębnych pojęć i reguł wnioskowania; stworzone w odpowiedzi na postulaty D. Hilberta, były jedną z prób algorytmizacji wnioskowania.