The grading phenomena in attribute theory gains effective treatment in this paper.We introduce the notion of sequent to the computation, and it results a new computing frame in the research.

• 摘要有效地处理属性论的分级现象，后承式的推理方法被引入至计算中，结果形成属性论的一个新的计算框架。