Some possible topics for projects:

- Linear logic or other substructural logics (possible sources:
*Proofs and Types* by Girard, *Basic Proof Theory* by Troelstra and Schwichtenberg, *An Introduction to Substructural Logics* by Greg Restall)
- The Curry-Howard Isomorphism (possible sources:
*Proofs and Types* by Girard, *Basic Proof Theory* by Troelstra and Schwichtenberg)
- Model Theory of non-classical logic (possible sources:
*A Short Introduction to Intuitionistic Logic* by Mints)
- Reverse Mathematics (possible sources:
*Subsystems of Second Order Arithmetic* by Stephen Simpson)
- An alternate approach to ordinal analysis, such as ε-substitution (see
*Gentzen-type systems and Hilbert's epsilon substitution method* by Mints) or model-theoretically (see *A model-theoretic approach to ordinal analysis* by Avigad and Sommer)
- Cut-elimination for an appropriate modal or other logic (possible sources: many papers of this type have been published)
- Foundational concerns (possible sources:
*In the Light of Logic*, by Solomon Feferman)