NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Cut Elimination and Normalization Proofs

Investigates cut elimination for various logical systems and term rewriting perspectives, establishing consistency and computational properties.