TY - RPRT TI - Structural and universal completeness in algebra and logic AU - Paolo Aglianò AU - Sara Ugolini PY - 2023 UR - https://arxiv.org/abs/2309.14151 ID - 2309.14151 ER -