TY  - RPRT
TI  - The category of propositional deductive systems
AU  - Ciro Russo
PY  - 2026
UR  - https://arxiv.org/abs/2508.19426
ID  - 2508.19426
ER  -