Mathematical Logic Foundations

Research Frontiers in Logical Frameworks and Metalogical Reasoning

Constructs frameworks for formalizing metatheory of object logics, analyzing logical frameworks like LF for representing derivations and properties.

All Mathematical Logic & Foundations PhD categories