Sekvencinis skaičiavimas
Sekvencinis skaičiavimas  – matematinės logikos formulių įrodymo būdas. Šis būdas pasižymi tuo, kad įrodymo metu yra konstruojama formulių seka, dar kitaip vadinama sekvencija, kurioje kiekviena formulė yra gaunama iš prieš tai buvusių formulių pagal skaičiavimo taisykles arba aksiomas. Sekvencinis skaičiavimas yra formulių įrodymo sritis, kuri susideda iš šių skaičiavimų: Hilberto tipo teiginių skaičiavimo, Gentzeno tipo teiginių skaičiavimo, kuris susideda iš: Natūraliosios dedukcijos, Sekvencinio skaičiavimo (kartais dar vadinamo skaičiavimu G {\displaystyle G} ).