A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations