I've taught an upper level non-classical logics several times. The final project involves a presentation of an article we don't cover in class. Three articles have been done repeatedly in the class.
- @andrejbauer@mathstodon.xyz's Five Stages of Constructive Mathematics
- @rrrichardzach@mathstodon.xyz's Significance of the Curry-Howard Isomorphism
- Graham Priest's Logic of the Catuskoti.
The students seem to like these a bunch.
Shawn Standefer
@standefer@fediscience.org
Philosophical logician at National Taiwan University
fediscience.org