A modest proposal: explicit support for foundational pluralism

Martin Berger, Dominic P. Mulligan

Whilst mathematicians assume classical reasoning principles by default they often context switch when working, restricting themselves to various forms of subclassical reasoning. Th…