information about Cut-elimination theorem field

Field Hierarchy
Parent
Computer science
54.8M papers
Mathematics
21.1M papers
Geometry
6.2M papers
Mathematical proof
44.1k papers
Natural deduction
2,474 papers
Linear logic
2,078 papers
Sequent calculus
1,735 papers
Current
Cut-elimination theorem
744 papers
Child
Trends