「各々の論理結合子（量化子含む）ごとに左導入規則と左除去規則があるの」や
「各々の論理結合子（量化子含む）ごとに左除去規則と右除去規則があるの」は
なんと呼ばれているのでしょうか？