исчисление (позднелатинское sequentia - последовательность, следствие), секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления , в которых основными объектами преобразования являются не формулы, а т. н. секвенции, т. е. выражения вида A1, ..., Al - B1, ..., Bm, где - аналогична знаку выводимости,