Equivalence and Conditional Independence in Atomic Sheaf Logic
<|reference_start|>Equivalence and Conditional Independence in Atomic Sheaf Logic: 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 conditional independence between variables. We show that such relations can be modelled naturally in atomic sheaf toposes.<|reference_end|>
@article{simpson2024equivalence,
    title={Equivalence and Conditional Independence in Atomic Sheaf Logic},
    author={Alex Simpson},
    journal={39th Annual ACM/IEEE Symposium on Logic in Computer Science, July
  8--11, 2024, Tallinn, Estonia. ACM, New York NY, USA},
    year={2024},
    doi={10.1145/3661814.3662132},
    archivePrefix={arXiv},
    eprint={2405.11073},
    primaryClass={cs.LO math.CT math.LO}
}