Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Coherence and Cut Admissibility

Investigation of coherence conditions ensuring cut admissibility and proof-theoretic consistency in logical systems.