О правилах типа сечений в исчислениях общего вида

Проблема устранимости сечения для исчислений общего типа формулируется как проблема строгой представимости посредством канонических исчислений Поста, удовлетворяющих дополнительному требованию: каждое слово может являться заключением лишь конечного числа применений правил. Изучаются возможности устранения и алгорифмического устранения сечения.