Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Proof Theory and Structural Analysis

Analyzes formal proofs and proof systems focusing on structural properties like cut-elimination and proof normalization.