@misc{indiciaeccc33d3acaa5, title = {The category of propositional deductive systems}, author = {Ciro Russo}, year = {2026}, url = {https://arxiv.org/abs/2508.19426}, note = {Source identifier: 2508.19426} }