sekvenční kalkul
sekvenční kalkul, log. varianta kalkulu přirozené dedukce, zavedená G. Gentzenem 1934. Pro s. k., v němž se z množiny formulí X, tzv. antecedentu, vyvozuje množina formulí Y, tzv. sukcedent, postačují pravidla pro zavádění výrokotvorných funktorů a kvantifikátorů.
