Cut Elimination
method
ID: cutelimination
Entity Details
Basic Information
Entity ID
cutelimination
Entity Type
Method
English Label
Cut Elimination
Russian Label
Устранение разрезов
Kazakh Label
Кесуді жою
Frequency
1
Description
English Description
A process in proof theory that eliminates certain cuts in proof nets.
Russian Description
-
Kazakh Description
-