短語(yǔ)詞組短語(yǔ)linear sequent calculus 線(xiàn)性矢列縯算calculus of sequent [數(shù)]相繼式縯算 返回 sequent calculus