Due to an oversight by the Publisher during the typesetting stage, an uncorrected version of the paper was published.

中文翻译：

---

更正为：LogAG：用于分级命题推理的代数非单调逻辑

由于出版社在排版阶段的疏忽，未更正的论文被发表。