TY  - RPRT
TI  - Completeness in local positive logic
AU  - Arturo Rodriguez Fanlo
AU  - Ori Segel
PY  - 2025
DO  - 10.1016/j.apal.2025.103601
UR  - https://arxiv.org/abs/2401.03260
ID  - 2401.03260
ER  -