Mathematical Logic Foundations

Research Frontiers in Infinitary Proof Systems and Logical Closure

Analyzes proof systems allowing infinite derivations, establishing proof-theoretic measures and closure properties of infinitary deduction.

All Mathematical Logic & Foundations PhD categories