These results explain many properties of different classes of logical systems previously explained only in a case by case basis or shrouded in mystery.
这些成果解释了不同类的逻辑系统的很多性质，以前它们只有个案解释或包裹在神秘之中。