是在亚结构逻辑中这就变得很重要了。一些系统只允许在右边有一个公式。
历史.历史上，相继式是Gerhard Gentzen介入用来规定他着名的相继式演算。在他的德语出版物中他使用了单词"Sequenz"。但是，在英语中，单词"序列"已经用来翻译德语的"Folge"并在数学中经常出现。术语"相继式"被建立用做这个德语表达的替代翻译。