TY - RPRT TI - Conceptual completeness for subgeometric logics AU - Ivan Di Liberti AU - Umberto Tarantino AU - Lingyuan Ye PY - 2026 UR - https://arxiv.org/abs/2607.02250 ID - 2607.02250 ER -