In LK any number of formulas is allowed to appear on the conclusion side of a sequent; in contrast LJ allows at most one formula in this position.
У LK будь-якому числу формул дозволяють з'явитися на стороні укладення наступного; у відмінності LJ дозволяє не більше однієї формули у цій позиції.