Soundness and Completeness of Minimal Propositional Logic for Topoi

Imagine you're trying to figure out what logical rules everyone has to follow, no matter what mathematical universe they're living in. Like, what's the absolute bare minimum logic that works everywhere? Mathematicians work in these structures called topoi (plural of topos) - think of them as different "mathematical universes" with their own rules. Some universes are classical (where everything is either true or false, no in-between). Some are constructive (where you can't just say "either P or not-P" without proof). And there are tons of other weird and wonderful ones. The big question: Is there a logic that works in literally every single one of these universes? For a long time, people thought the answer might be intuitionistic logic - the logic where you can't use the law of excluded middle (P ∨ ¬P), but you CAN say that contradictions explode everything (if you prove false, you can prove anything: ⊥ → φ). Plot twist: This paper proves that's actually TOO strong. The real universal logic is even weaker - it's minimal logic. What's minimal logic? It's intuitionistic logic but with one crucial change: we don't assume contradictions are explosive. In other words, we remove the principle "from falsehood, anything follows" (⊥ → φ). Why? Because when you interpret logical formulas in a topos, the symbol ⊥ (falsehood) corresponds to the bottom element of a Heyting algebra - basically, the smallest thing in your truth-value structure. But being the smallest element doesn't automatically mean you can derive everything from it! That would require ⊥ to be an "initial object" (a special categorical structure), which isn't guaranteed just from being a topos. The key insight: The paper shows this works in both directions: Soundness: If you can prove something in minimal logic, it's true in every topos (no exceptions) Completeness: If something is true in every topos, you can prove it in minimal logic This means minimal logic is exactly the universal logic - no more, no less. It's the logical common ground shared by all possible topoi. Why this matters: This result tells us something deep about the nature of logic itself. Logic isn't this fixed, universal thing floating above mathematics. Instead, different mathematical structures support different logics. And when you strip away all the extras and ask "what's the absolute minimum everyone agrees on?" - you get minimal logic. It's logic at its most fundamental: constructive reasoning, but without committing to the idea that contradictions destroy everything. It's the logic of maximum generality, the logic that makes the fewest assumptions, the logic that just... is, regardless of what universe you're in.