则需要某些额外的讨论。规则的名字是弱化（formula_107）、紧缩（formula_108）和排列（formula_109）。紧缩和排列确保序列元素的次序（formula_109）和多次出现（formula_108）都不重要。就是说，你可以不把它当作序列而作为集合。但是使用序列的额外努力是正当的，因为部分或全部的结构规则可以被忽略。这么做了就得到了所谓的亚结构逻辑。
LK系统的性质.这个规则系统可以被证明关于一阶逻辑是可靠的和完备的，就是说，从前提的集合Γ语义上得到的一个陈