在逻辑, 特别是相继式演算中, 一个直觉主义相继式是指 ⊢ 右边只有一个命题的相继式. 使用直觉主义相继式的相继式演算叫做直觉主义相继式演算, 与之相对的是经典相继式演算.
术语翻译
直觉主义相继式 • 英文 intuitionistic sequent