Equivalence and Conditional Independence in Atomic Sheaf Logic

Alex Simpson

We propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of…