証明可能性論理GLの循環シークエント計算体系