TY  - RPRT
TI  - On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
AU  - David Forsman
PY  - 2024
UR  - https://arxiv.org/abs/2406.15584
ID  - 2406.15584
ER  -