Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Structural Proof Theory and Reductive Systems

Analysis of proof systems from structural perspective focusing on reducibility, normalization, and decomposition properties.