∧と∨の振る舞いが対称的、∀と∃の振る舞いも対称的なのがLK。
そうでないのがNK。