{"id":"arxiv/2610.36552","url":"https://arxiv.org/abs/2610.36552","tags":["cs.LO","math.LO"],"score":0,"title":"A Fibrational Framework For Multi-Conclusion Logics","domain":"cs.LO","source":"arxiv","authors":["Oualid Merzouga"],"reviews":0,"subject":"cs.LO","summary":"The fibrational framework of Licata, Shulman, and Riley gives a uniform account of substructural and modal logics for single-conclusion judgments. This thesis extends it to a multiple-output setting in which cartesian resources may be used freely, while linear resources occur exactly once on either side of the turnstile. Judgments are indexed by descriptors: directed acyclic graphs generalizing the tree-shaped expressions of the original framework. Descriptor $2$-cells encode structural transformations, and explicit gates provide weakening, contraction, coweakening, and cocontraction at…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}