Atomic sheaf logic in toposes interprets equivalence via atomic relations and conditional independence via generating category structure, matching multiteam semantics in one case while extending to probability sheaves and the Schanuel topos.
Informational independence as a semantical phe- nomenon
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Equivalence and Conditional Independence in Atomic Sheaf Logic
Atomic sheaf logic in toposes interprets equivalence via atomic relations and conditional independence via generating category structure, matching multiteam semantics in one case while extending to probability sheaves and the Schanuel topos.