{"id":"arxiv/2606.19017","url":"https://arxiv.org/abs/2606.19017","tags":["cs.LO","math.CT"],"score":0,"title":"Completeness for Probabilistic Boolean Tapes","domain":"cs.LO","source":"arxiv","authors":["Filippo Bonchi","Cipriano Junior Cioffo"],"reviews":0,"subject":"cs.LO","summary":"Probabilistic Boolean circuits have recently been proposed as a string-diagrammatic foundation for finite probabilistic programming. In this paper, we present a complete set of axioms for their semantics in terms of Markov kernels. Our approach is based on two intermediate results: completeness for \\emph{partial} Boolean circuits and completeness for probabilistic Boolean tapes, a diagrammatic language for rig categories.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-17","reactions":{}}